body {
	font-family: arial, helvetica, geneva, sans-serif;
	font-size: small;
}

a {
	font-weight: bold;
	text-decoration: none;
	color: navy;
}

a:hover {
	font-weight: bold;
	text-decoration: underline;
}

h1 {
	font-size: x-large;
	text-align: center;
	color: #5B69CC;
	font-weight: bold;
}

h3 {
	text-align: center;
}

pre,tt {
	font-size: small
}

th {
	font-family: arial, helvetica, geneva, sans-serif;
	font-size: small;
	font-weight: bold;
	color: #000000;
	background-color: #D3DCE3
}

.head {
	font-family: arial, helvetica, geneva, sans-serif;
	font-size: small;
	font-weight: bold;
	color: #000000;
	background-color: #D3DCE3;
	text-align: center
}

td {
	font-family: arial, helvetica, geneva, sans-serif;
	font-size: small
}

td.topline {
	font-size: 1px
}

td.tab {
	border-top: 1px solid #999;
	border-right: 1px solid #666;
	border-left: 1px solid #999;
	border-bottom: none;
	border-radius: 2px;
}

table.tabs {
	border-top: none;
	border-right: none;
	border-left: none;
	border-bottom: 1px solid #666;
}

.fieldname {
	font-style: italic;
	background: #C0FFFF;
	color: black;
	text-align: right;
	vertical-align: top;
}

.mandatoryfieldname {
	font-style: italic;
	font-weight: bold;
	background: #C0FFFF;
	color: black;
	text-align: right;
	vertical-align: top;
}

.form {
	background: #69DCDC;
}

.headline {
	background: #C0FFFF;
	color: black;
}

.odd {
	background: #DDD;
	color: black;
	text-align: center;
}

.even {
	background: #EEE;
	color: black;
	text-align: center;
}

.lodd {
	background: #DDD;
	color: black;
	text-align: left;
}

.leven {
	background: #EEE;
	color: black;
	text-align: left;
}

.incompleteanswer {
	background: orangered;
	color: black;
	text-align: center;
}

.pbm {
	background: red;
	color: black;
	text-align: center;
}

.beware {
	background: gold;
	color: black;
	text-align: center;
}

.nodata {
	background: white;
	color: black;
	text-align: center;
}

.nosupport {
	background: white;
	color: black;
	text-align: center;
}

.support {
	background: green;
	color: black;
	text-align: center;
}

.segfault {
	background: coral;
	color: black;
	text-align: center;
}

.ignoredresult {
	background: pink;
	color: red;
	text-align: center;
}

.conflict {
	background: black;
	color: white;
	text-align: center;
}

.result {
	background: lime;
	color: black;
	text-align: center;
}

.goodresult {
	background: green;
	color: black;
	text-align: center;
}

.bestresultcomplete {
	font-style: italic;
	background: yellow;
	color: black;
	text-align: center;
	border: solid;
}

.bestresultincomplete {
	font-style: italic;
	background: gold;
	color: black;
	text-align: center;
	border: solid;
}

.noresult {
	background: silver;
	color: black;
	text-align: center;
}

.launcherdata {
	background: #e4b8b4;
}

.solverdata {
	background: #d5d5eb;
}

.conversionscriptdata {
	background: #a0e0e0;
}

.watcherdata {
	background: #c3e4b4;
}

.verifierdata {
	background: #cfe262;
}


/* display bar */

.abort {
	background: red;
	color: white;
	text-align: center;
}

.fail {
	background: fuchsia;
	color: white;
	text-align: center;
}

.new {
	background: white;
	color: black;
	text-align: center;
}

.queued {
	background: black;
	color: white;
	text-align: center;
}

.done {
	background: yellowgreen;
	color: black;
	text-align: center;
}

.running {
	background: tomato;
	color: black;
	text-align: center;
}

.analyzing {
	background: yellow;
	color: black;
	text-align: center;
}

.postanalysis {
	background: lightgrey;
	color: black;
	text-align: center;
}

.sat {
	background: green;
	color: black;
	text-align: center;
}

.unsat {
	background: yellow;
	color: black;
	text-align: center;
}

.msat {
	background: lime;
	color: black;
	text-align: center;
}

.mopt {
	background: green;
	color: black;
	text-align: center;
}


.unknown {
	background: lightgrey;
	color: black;
	text-align: center;
}



/*
.done a:visited {
	color: white;
}
.done a:link {
	color: white;
}
.done a:hover {
	color: white;
}
*/
.todo {
	background: gold;
	color: black;
	text-align: right;
}
.solved {
	background: yellowgreen;
	color: black;
	text-align: right;
}
.myleft {
	text-align: right;
}
.unsolved {
	background: tomato;
	color: white;
	text-align: right;
}


.box {
	border: black solid 1px;
	text-align: right;
}