body {
  color: #000000;
  background: #FFFFFF;
}

a:link    { color: #0000EE }
a:visited { color: #551A8B }
a:hover   { color: #0000EE }

h1 {
 font: normal small-caps bold large sans-serif;
 color: #FFFFFF;
 background: #2E2D4E;
 padding-top: 10px;
 padding-right: 10px;
 padding-bottom: 10px;
 padding-left: 10px;
 border-width: thin thin thin thin;
 border-style: none none none none;
}

h2 {
 font: normal normal bold huge sans-serif;
 padding: 0ex 0ex 0ex 0ex;
 margin: 1.5ex 0ex 1ex 0ex;
 border-style: none none none none;
}

h3 {
 font: normal normal bold larger sans-serif;
 padding: 0ex 0ex 0ex 0ex;
 margin: 1ex 0ex 0.2ex 2ex;
 border-style: none none none none;
}

h4 {
 font: normal normal bold normal sans-serif;
 margin-bottom: 0.5ex;
 border-style: none none none none;
}


h1 font.first {
 font: normal normal bold x-large sans-serif;
}

table.nav {
 font: normal normal bold medium sans-serif;
 background-color: #D0D0D0;
 border-width: thin thin thin thin;
 border-style: solid solid solid solid;
 margin-top: 8ex;
}


table.nav a:link { font-weight:bold; color:#000000; text-decoration:none }
table.nav a:visited { font-weight:bold; color:#000000; text-decoration:none }
table.nav a:hover { font-weight:bold; color:#000080; text-decoration:underline }
table.nav a:active { font-weight:bold; color:#000000; text-decoration:underline
}
table.nav a:focus { font-weight:bold; color:#000000; text-decoration:underline }


td.nav {
 background-color: #FFFFFF;
 margin-top: 20px;
 margin-right: 20px;
 margin-bottom: 20px;
 margin-left: 20px;
 padding-top: 5px;
 padding-right: 5px;
 padding-bottom: 5px;
 padding-left: 5px;
 border-width: thin thin thin thin;
 border-style: none none none none;
}

table.descr {
 font: normal normal normal medium sans-serif;
 background-color: #D0D0D0;
 margin-top: 20px;
 padding:  2ex 2ex 2ex 2ex;
 border-width: thin thin thin thin;
 border-style: solid solid solid solid;
}

td.descr {
 font: normal normal normal medium sans-serif;
 background-color: #D0D0D0;
 padding:  2ex 2ex 2ex 2ex;
}

table.entries {
 font: normal normal normal medium sans-serif;
 background-color: #D0D0D0;
 border-width: thin thin thin thin;
 border-style: solid solid solid solid;
}

td.head {
 font: normal normal bold medium sans-serif;
 color: #E2E2E2;
 background-color: #2e2d4e;
 word-spacing: normal;
 letter-spacing: normal;
 text-decoration: none;
 word-spacing: normal;
 vertical-alignment: baseline;
 text-transformation: none;
 text-alignment: left;
 text-indentation: 2em;
 line-height: normal;
 margin:  0.5em 1em 0.5em 0em;
 padding:  0.5ex 0.5ex 0.5ex 0.5ex;
 border-width: thin thin thin thin;
 border-style: none none none none;
 width: 95%;
 height: auto;
 clear: none;
 display: block;
 white-space: normal;
 list-style-position: inside;
}

td.entry {
 font: normal normal normal medium sans-serif;
 color: #000000;
 background-color: #E2E2E2;
 word-spacing: normal;
 letter-spacing: normal;
 text-decoration: none;
 word-spacing: normal;
 vertical-alignment: baseline;
 text-transformation: none;
 text-alignment: left;
 text-indentation: 2em;
 line-height: normal;
 margin:  0em 0.1em 0.1em 5%;
 padding:  0.5ex 0.5ex 0.5ex 0.5ex;
 border-width: thin thin thin thin;
 border-style: none none none none;
 width: 90%;
 height: auto;
 clear: none;
 display: block;
 white-space: normal;
 list-style-position: inside;
}

table.data {
 margin:  0em 0em 0em 0em;
 padding:  0.5ex 0.5ex 0.5ex 0.5ex;
 border-width: thin thin thin thin;
 border-style: solid solid solid solid;
}

td.datahead {
 font: normal normal bold medium sans-serif;
 color: #000000;
 background-color: #E2E2E2;
 margin:  1em 1em auto 0em;
 padding:  0.5ex 0.5ex 0.5ex 0.5ex;
 border-width: thin thin thin thin;
 border-style: none none none none;
}

td.status-ok {
 text-align: center;
 vertical-align: middle;
 font: normal normal bold medium sans-serif;
 color: #000000;
 background-color: #00FF99;
 margin:  1em 1em auto 0em;
 padding:  0.5ex 0.5ex 0.5ex 0.5ex;
 border-width: thin thin thin thin;
 border-style: none none none none;
}

td.status-failed {
 text-align: center;
 vertical-align: middle;
 font: normal normal bold medium sans-serif;
 color: #000000;
 background-color: #DD2222;
 margin:  1em 1em auto 0em;
 padding:  0.5ex 0.5ex 0.5ex 0.5ex;
 border-width: thin thin thin thin;
 border-style: none none none none;
}

td.status-skipped {
 text-align: center;
 vertical-align: middle;
 font: normal normal bold medium sans-serif;
 color: #000000;
 background-color: #FFFF99;
 margin:  1em 1em auto 0em;
 padding:  0.5ex 0.5ex 0.5ex 0.5ex;
 border-width: thin thin thin thin;
 border-style: none none none none;
}

td.data {
 font: normal normal normal medium sans-serif;
 color: #000000;
 background-color: #E2E2E2;
 margin:  1em 1em auto 0em;
 padding:  0.5ex 0.5ex 0.5ex 0.5ex;
 border-width: thin thin thin thin;
 border-style: none none none none;
}

td.abstract {
 font: normal normal normal medium sans-serif;
 color: #000000;
 background-color: #E2E2E2;
 margin:  1em 1em auto 0em;
 padding:  0.5ex 0.5ex 0.5ex 0.5ex;
 border-width: thin thin thin thin;
 border-style: none none none none;
}

td.abstract p:first-child {
 margin-top: 0;
}

td.abstract p:last-child {
 margin-bottom: 0;
}

td.formatted {
 font: normal normal normal medium sans-serif;
 color: #000000;
 background-color: #E2E2E2;
 margin:  1em 1em auto 0em;
 padding:  0.5ex 0.5ex 0.5ex 0.5ex;
 border-width: thin thin thin thin;
 border-style: none none none none;
}

a#bib {
  text-decoration: underline;
  color: #0000EE;
}

table.links {
 margin:  0em 0em 0em 0em;
 padding:  0.5ex 0.5ex 0.5ex 0.5ex;
 border-width: thin thin thin thin;
 border-style: solid solid solid solid;
}

td.links {
 font: normal normal normal medium sans-serif;
 color: #000000;
 background-color: #E2E2E2;
 margin:  1em 1em 0em 0em;
 padding:  0.5ex 0.5ex 0.5ex 0.5ex;
 border-width: thin thin thin thin;
 border-style: none none none none;
}

div.date {
	font-family: sans-serif;
	font-size: small;
	color: #000000;
	margin-top: 5ex;
	padding-top: 1ex;
	border-width: thin thin thin thin;
 	border-style: none none none none;
	width: 100%;
}

div.cite { 
  font-size: small;
}

div.list {
  margin: 0ex 0ex 0ex 4ex;
  padding: 0ex 0ex 0ex 0ex;
}

div.list a:link { text-decoration:none }
div.list a:visited { text-decoration:none }
div.list a:hover { text-decoration:underline }
div.list a:active { text-decoration:underline }
div.list a:focus { text-decoration:underline }

pre.bibtex { 
  white-space: pre;
  border-width: thin thin thin thin;
  border-style: solid;
}

code {
  background-color: #F2F2F2;
  color: #303030;
  padding: 1px 2px 2px 2px;
  border-radius: 4px;
}

pre.code { 
  white-space: pre;
  background-color: #F2F2F2;
  color: #303030;
  padding: 10px 2px 10px 2px;
  border-radius: 4px;
}

.chart {
  height: 400px;
  width: 400px;
  background: white;
  margin: 20px auto 40px auto;
  border: 1px solid black;
}

#most_used td {
  padding: 0 10px 0 0;
}

.nobr {
 white-space: nowrap;
}