/* Stylesheet for PrDOS*/
body {
  margin: 15px 25px;
  color: #111122;
  background-color: #ffffff;
  font-size: 80%;
  font-family: arial, sans-serif;
}

a:link 		{ color:#5566aa; }
a:visited 	{ color:#665555; }

h2 { 
  border-left: 10px solid #4433dd;
  padding-left: 5px;
}


th{
  background-color: #bbddaa;
  border: 1px solid #bbddaa;
  font-style: normal;
  font-weight: normal;
  font-family: sans-serif;
  padding: 2px 5px;
}

/* div id properties for all*/
div#header {
  float: none;
  clear: both;
  width: 95%;
  padding: 10px 15px;
}

div#footer {
  float: none;
  clear: both;
  width: 98%;
  padding: 5px;
  border-top: 2px solid #111122;
}

div#menu {
  text-align: center;
  font-family: 'Times new roman', serif;
  font-size: 130%;
  font-weight: bold;
  word-spacing: 5px;
  /* background-color: #ddeeff; */
  padding: 2px;
}


/* for top page */
div#short_about {
  text-align: left;
  margin: 30px 20px 10px 20px;
  font-family: verdana, arial, sans-serif;
  font-size: 100%;
  /* background-color: #ffffee; */
}

div#submission { padding: 10px 20px; }

table.submission {
  border: 1px solid #002233;
  padding: 0px;
}

div#about {
  padding: 20px;
}

div#result {
  padding: 20px;
}


table.sequence{
  font-family: "Courier New", monospace;
  margin: 5px;
}

table.result_table{
  border: 0px;
  padding: 2px;
  font-size: 130%;
  font-family: "Courier New",  monospace;
  background-color: #f0eeff;
}

h3.error {
  font-size: 150%;
  color: #ff0000;
}

div#error { padding: 20px; }
div#warning {
  padding: 1px 10px 10px 10px;
  background-color: #dddddd;
}

div#logout {
  font-size: 100%;	
  padding: 20px;
}

div#confirm { padding: 20px; }
th.confirm {
  background-color: #ffffff;
  border: 0px;
  font-style: normal;
  font-weight: bold;
  font-family: sans-serif;
  text-align: left;
  padding: 2px 5px;
}

table.confirm {
  border-top: 1px solid #000000;
  border-bottom: 1px solid #000000;
}

div#error_sequence {
  margin: 5px;
  padding: 5px;
  font-family: monospace;
  font-size: 150%;
  background-color: #ffeefd;
}

div#sequence {
  margin: 5px;
  padding: 5px;
  font-family: monospace;
  font-size: 120%;
  background-color: #fdeeff;
}

div#message {
  margin: 10px;
  padding: 10px;
  font-size: 100%;
}

div#plot {
  text-align: center;
  margin: 3px;
}

div#plot_download {
  margin: 3px;
  padding: 3px;
}

div#download {
  margin: 5px 0px 20px 0px;
}

div#result_table {
  margin: 5px auto;
  padding: 10px;
  font-size: 100%;
  width: fit-content;
}

div#plot_info {
  margin: 5px;
  padding: 5px;
}

div#metapredictors {
  margin: 10px 5px;
}

td.result_index { 
  text-align: center;
  font-family: sans-serif;
  font-size: 50%;
}

font.disorder {
  font-weight: bold;
  color: red;
}

font.order {
  font-weight: normal;
  color: black;
}

span.disorder {
  font-weight: bold;
  color: red;
}
span.disorder:hover {
    background-color: red;
    color: white;
}

span.order {
  font-weight: normal;
  color: black;
}	

span.order:hover {
    background-color: black;
    color: white;
}


/* for login page */
div#login {
  float: right;
  clear: right;
  width: 30%;
  margin: 15px 5px;
  padding: 30px 10px;
  border-left: 1px dashed #999999;
  
}

div#intro {
  float: left;
  clear: left;
  width: 62%;
  margin: 15px 5px;
  padding: 10px 10px;
  font-size: 100%;
  font-family: sans-serif;
  
}

pre.log { 
  margin: 5px;
  padding: 5px;
  font-family: monospace;
  font-size: 120%;
  background-color: #eeeeff;
}

/* for metaPrDOS performance */
div.perform{ 
  padding: 10px;
  background-color: #f0f0f0;
  border-top: 3px solid #dddddd;
  margin-bottom: 15px
}

div.performtable{
  margin-top: 15px;
  margin-left: 15px;
  margin-bottom: 15px;
}

table.perform{
  padding: 0px; 
  border-top: 1px solid black; 
  border-bottom: 1px solid black;
  background-color: white;
}

th.perform{ 
  padding: 3px 20px;
}

td.perform{ 
  padding: 3px 20px;
}

th.meta_th{
  background-color: #aa8899;
  border: 1px solid #bb99aa;
  font-style: normal;
  font-weight: bold;
  font-family: sans-serif;
  padding: 3px 7px;
}