body{
  margin: 0;
  padding: 0;
  overflow: scroll;
  background-color: gray;
  font-family: Georgia;
}
nav{
  margin: 0;
  padding: 0;
  line-height: 25px;
}
nav ul{
  margin: 0;
  padding: 0;
}
nav li{
  margin: 0;
  padding: 0;
  list-style: none;
  float: left;
  position: relative;
}
nav ul li a{
  height: 25px;
  width: 75px;
  display: block;
}
nav ul ul{
  position: absolute;
  display: block;
  visibility: hidden;
}
nav ul li:hover ul{
  overflow: visible;
  visibility: visible;
  z-index: 1;
}
.navButtons{
  color: white;
  border-right: 1px solid white;
  text-align: center;
  text-decoration: none;
  background-color: gray;
  height: 25px;
  width: 85px;
}
.navButtons:hover{
  background-color: black;
}
.navButtons, a{
  transition: 0.3s;
}
a{
  text-decoration: none;
  color: black;
}
#savePNG, #saveJPG{
  border-top: 1px solid white;
}
#iupac{
  float: right;
}
button, input, #downloadImage{
  background: #ffffff;
  background-image: -webkit-linear-gradient(top, #ffffff, #d4d4d4);
  background-image: -moz-linear-gradient(top, #ffffff, #d4d4d4);
  background-image: -ms-linear-gradient(top, #ffffff, #d4d4d4);
  background-image: -o-linear-gradient(top, #ffffff, #d4d4d4);
  background-image: linear-gradient(to bottom, #ffffff, #d4d4d4);
  padding: 0px 8px;
}
button, #downloadImage{
  padding: 3px 8px 3px 8px;
  border-radius: 8px;
  -webkit-border-radius: 8;
  -moz-border-radius: 8;
  border: solid #8f8f8f 2px;
  text-decoration: none;
}
button:hover, input:hover, #downloadImage:hover{
  background: #f0f0f0;
  background-image: -webkit-linear-gradient(top, #f0f0f0, #e3e3e3);
  background-image: -moz-linear-gradient(top, #f0f0f0, #e3e3e3);
  background-image: -ms-linear-gradient(top, #f0f0f0, #e3e3e3);
  background-image: -o-linear-gradient(top, #f0f0f0, #e3e3e3);
  background-image: linear-gradient(to bottom, #f0f0f0, #e3e3e3);
  text-decoration: none;
}
#resize-Top{
  margin-bottom: 3px;
  resize: none;
  overflow-x: auto;
  overflow-y: hidden;
}
#resize-Left{
  float: left;
}
#resize-Right{
  float: right;
}
.warnning{
  color: #C60000;
}
#cy{
  width: 100%;
  height: 100%;
  position: absolute;
  left: 0;
  top: 0;
  overflow: hidden;
}
.element, .dash{
  margin: 0.5%;
  display: inline-block;
}
.dash, .element, #tipTool, .navButtons, .close, a, button{
  cursor: pointer;
}
.white-background-color{
  background-color: white;
} 
#whole-RNA{
  white-space: nowrap;
  width: 100%;
  text-align: center;
  position: absolute;
} 
.selected{
  border: 2px dotted black;  
}
#tab{
  height: 98%;
}
#tab-1{
  height: 100%;
  overflow-y: auto;
  word-spacing: 0.5em;
  font-family: Courier New, Courier;
  font-size: 1.1em;
}  
#tab-2{
  width: 100%;
  padding: 0px;
}    
#add-sequence{
  height: 100%;
}
button{
  margin: 1em 1em 0 0;
} 
#resize-Right input{
  text-transform: uppercase;
}   
textarea{
  resize: vertical; 
  width: 100%;
}
.ui-widget{
  font-size: 12px;
}
#color{  
  cursor: pointer;
  background-color: gray;
  width: 15px;
  height: 15px;
  border-style: outset;
  display: inline-block;
  position: relative;
  top: 4px; 
}
em{
  margin: 10px;
}
hr{
  margin-bottom: 2.5em;
}      
#message{  
  display: none;
  position: fixed;
  height: 100%;
  width: 100%; 
  z-index: 2; 
  left: 0;
  top: 0;
}
#message-content, #message-table, #message-error{
    padding: 20px 10px 30px 10px;
    background-color: rgba(0,0,0, 0.9);
    margin: 8%;
    max-height: 80%;
    text-align: center;
    font-size: 30px;
    color: white;
    overflow: auto;
}
.close{
    position: relative;
    float: right;
    font-size: 30px;
}
#message input[type="text"]{
  height: 35px;
  width: 80%;
  font-size: 25px;
}
#message input{
  margin-left: 10%;
}
#message button{
  font-size: 25px;
}
.messageBlock{
  display: block;
}
table{
  width: 90%;
}