body {
  background-color: #eee;
  font-family: sans-serif;
  margin: 0;
}

body > * { 
  margin: 1%;
}

#header, #footer {
  background-color: #888;
  border-top: 1px solid #aaa;
  border-bottom: 1px solid #aaa;
  margin: 0;
  margin-bottom: 2%;
  font-variant: small-caps;
  line-height: 170%;
}

#header a {
  font-weight: bold;
  font-variant: normal;
  font-family: sans-serif;
  border: 0;
}

.superHeader {
  position: absolute;
  width: 100%;
}

.superHeader ul {
  margin: 0;
}

.superHeader li {
  display: inline;
  list-style-type: none;
  float: right;
  border-left: 1px solid #aaa;
  border-bottom: 1px solid #aaa;
  margin: 0;
  padding: 0;
}

.superHeader a {
  color: #eee;
  padding: 5px;
}

.superHeader a:hover {
  background-color: #aaa;
  text-decoration: none;
}

.headerTitle, .headerTitle a {
  color: #eee;
  font-family: serif;
  margin: 1%;
}

#headerSubTitle {
  font-family: serif;
  font-style: italic;
  font-size: 75%;
}

.subHeader ul {
  margin: 0;
}

.subHeader li {
  display: inline;
  list-style-type: none;
  border-right: 1px solid #aaa;
  margin: 0;
  padding: 0;
}

.subHeader a {
  color: #113;
  padding: 5px;
}

.subHeader a:hover, .thisPage {
  background-color: #eee;
}

.headerMenu {
  background-color: #999;
}

.headerMenu_ {
  background-color: #aaa;
}

.headerMenu__ {
  background-color: #bbb;
}

#wercLink {
  color: #eee;
  border: 0;
  margin-left: 5%;
}

.progName {
  font-family: monospace;
}

/* # General styling # */

img { 
  position: relative;
  float: right;
}

table { 
  margin: 15px;
  background-color: transparent;       
  border: 0px dashed #999;        
  width: 50%;
}

hr { 
  margin: 0;
}

td { 
  background-color:#DDD;       
  border:1px solid #999;        
  padding:0.2em 20px 0.2em 10px;
}

p {
  max-width: 60em;
}

a {
  color: rgb(0, 0, 192);
}

a:link, a:visited {
  text-decoration: none; 
  border-bottom: 1px dashed #eee;
}

a:active, a:hover { 
  text-decoration: underline;
}

p > a {
  border: 1px solid transparent;
  color: rgb(0, 0, 192);
}

p > a:link, p > a:visited {
  text-decoration: none; 
  border: 1px solid transparent;
  border-bottom: 1px dashed #eee;
}

p > a:active, p > a:hover { 
  border: 1px solid #000;
}

a img {
  border: 0px;
}

li { 
  margin-left: 2%;
}

h3>a {
  color: #000;
  text-decoration: none;
}

h3>a:hover {
  color: #000;
  text-decoration: none;
}

pre {
  background-color: #ddd;
  border: 1px solid #bbb;
  margin-left:0px;
  padding-left:0px;
  max-width: 60em;
}

/* # General util # */

.left {
  float: left;
}

.right {
  text-align: right;
}

.doNotDisplay {
  display: none;
}