/**
 * CSS for sequences
 * (Not essential)
 */

#entered_data {
border:1px solid #99d;
background-color:#eef;
padding:5px 10px;
margin:5px 0;
font-family:monospace;
font-size:larger;
height:16em;
overflow:auto;
}
#entered_data h3 {
margin-top:0;
}
#entered_data ol {
list-style:none;
}
 
#report_container {
border:1px solid #d99;
background-color:#fee;
padding:5px 10px;
margin:10px 0;
font-family:monospace;
font-size:larger;
}

form {
margin:15px 0;
}

label {
font-weight:bold;
}

input#send {
margin-right:100px;
}

.notfound {
color:#999;
}

.toggle {
font-size:smaller;
}

.extractrls_container {
margin-top:60px;
border:1px solid #999;
background-color:#eee;
padding:0;
}
.extractrls_container .toggle {
color:#fff;
background-color:#666;
padding:0 0 2px 5px;
}
.extractrls_container .toggle a {
color:#ff0;
text-decoration:none;
}
.extractrls_container .toggle a:hover {
text-decoration:underline;
}

#extractrls {
margin-top:5px;
padding:5px 10px;
}
#extractrls h3 {
margin:0;
padding:0 0 2px 5px;
}

#positions {
font-weight:bold;
background-color:#ffc;
border:1px solid #999;
padding:0 0 2px 5px;
}