body {
   font-family:sans-serif;
}

pre {
   font-family:monospace;
}

h1 {
   margin:0;
   padding:0;
   text-align:center;
   font-weight:bold;
   font-size:141%;
   font-family:sans-serif;
}

h2 {
   margin:0;
   padding:0;
   text-align:left;
   font-weight:bold;
   font-size:119%;
   font-family:sans-serif;
}

img {
   border-style:none;
}

a {
   color:inherit;
   text-decoration:none;
}

a:hover {
   text-decoration:underline;
}

table {
   border-collapse:collapse;
   margin-left:auto;
   margin-right:auto;
   margin-bottom:1em;
}

td, th {
   padding:5px;
}

th {
   background-color:#a0b0d0;
}

table.border td, table.border th {
   border-width:1px;
   border-style:solid;
}

tr.test-passed {
   background-color:lime;
}

tr.test-unknown {
   background-color:yellow;
}

tr.test-failed {
   background-color:red;
}


div#header {
   margin:0;
   padding:0;
   line-height:2;
   background-color:#c0d0f0;
   text-align:center;
   font-weight:bold;
   font-size:200%;
   color:#304060;
   -moz-border-radius-topleft:0.3em;
   -moz-border-radius-topright:0.3em;
   -webkit-border-top-left-radius:0.3em;
   -webkit-border-top-right-radius:0.3em;
}

div#progmenu {
   margin:0;
   padding:0;
   text-align:center;
}

div#progmenu ul {
   list-style-type:none;
   display:inline-block;
   margin:0;
   margin-bottom:3em;
   padding:0;
   width:100%;
   background-color:#a0b0d0;
   -moz-border-radius-bottomleft:0.3em;
   -moz-border-radius-bottomright:0.3em;
   -webkit-border-bottom-left-radius:0.3em;
   -webkit-border-bottom-right-radius:0.3em;
}

div#progmenu li {
   display:inline-block;
   position:relative;
   top:1em;
   margin:0 1.5em;
   width:8em;
   line-height:2;
   font-weight:bold;
   font-size:141%;
   background-color:white;
   color:#304060;
   border:solid 0.1em #607090;
   -moz-border-radius:0.5em;
   -webkit-border-radius:0.5em;
}

div#progmenu li.active {
   background-color:#304060;
   color:white;
}


div#pagemenu {
   float:left;
   width:11em;
}


div#pagemenu ul {
   margin:0;
   padding:0;
   background-color:#c0d0f0;
   border:solid 0.1em #607090;
   -moz-border-radius:0.5em;
   -webkit-border-radius:0.5em;
}

div#pagemenu li {
   list-style:none;
   margin:0;
   padding:0.5em 1em;
   font-weight:bold;
   color:black;
}

div#pagemenu li.active {
   background-color:#304060;
   color:white;
}


div#content {
   margin:0;
   margin-left:11.5em;
   padding:0 0.5em;
   font-family:serif;
}

div#content img {
   padding:7px;
}

div#content a {
   color:#3032c0;
   text-decoration:underline;
}

div#footer {
   clear:both;
   padding-top:0.5em;
   padding-bottom:0.5em;
}

address {
   float:right;
}