body {
  font-family: verdana, helvetica, arial, sans-serif;
  font-size:90%;
  margin: 0;
  padding: 10;
}

a { color: rgb(61,92,122); background-color: transparent; }

a:hover { color: rgb(117,144,174); text-decoration: none; }

.midHeader {
  color: white;
  background-color: rgb(61,92,122);
  padding: 0.3em 1em;
  height: 60px;
}

.midHeader .left {
   float: left;
   width: 80%;
}

.midHeader .right {
  float: right;
  width: 20%;
  text-align: right; /* depends on element width */
}

.headerTitle { font-size: 220%; margin: 0; }

.headerSubTitle { font-size: 130%; }

.subHeader {
  font-size: 80%;
  text-align: right;
  color: white;
  background-color: rgb(117,144,174);
  margin: 0;
  padding: 0.5ex 10px;
  position: relative;
  height: 18px;
}
.subHeader .left {
  position: absolute;
  left: 4mm;
  top: 0.75ex;
}

.subHeader .right {
  position: absolute;
  right: 4mm;
  top: 0.75ex;
}

.subHeader a, .subHeader .highlight {
  color: white;
  font-weight: bold;
  text-decoration: none;
  padding: 0 .1em 0 .1em;
}

.subHeader a:hover, .subHeader .highlight { color: rgb(255,204,0) }

.main {
  text-align: justify;
  margin: 0;
  padding: 0 2%;
  line-height: 1.5em;
  width: 80%;
}

.main h1, h2 { font-family: "trebuchet ms", verdana, helvetica, arial, sans-serif; color: rgb(117,144,174); padding: 30 0 0 0; padding-top: 20px;}
h2 { font-size: 130% }

.red {color:red;}

.dividingBorderAbove { border-top: 1px solid rgb(204,204,204); }

#footer {
  color: rgb(51,51,102);
  background-color: rgb(239,239,239);
  font-size: 75%;
  text-align: center;
  padding: 1ex 10px;
}

//table { margin-top: 1em; border-collapse: collapse; }
table.bib td {border: none}
table.bib tr { border-top: solid 1px}
//td { border: 1px solid; padding: 5px; }
.list li { margin: 1em 0 0 0}

pre 
{
	border: 1pt solid #AEBDCC;
	background-color: #F3F5F7;
	padding: 5pt;
	font-family: courier, monospace;
	white-space: pre;
	/* begin css 3 or browser specific rules - do not remove!
	see: http://forums.techguy.org/archive/index.php/t-249849.html */
	white-space: pre-wrap;
	word-wrap: break-word;
	white-space: -moz-pre-wrap;
	white-space: -pre-wrap;
	white-space: -o-pre-wrap;
	/* end css 3 or browser specific rules */
}

.figure {
  font-weight: bold;
  font-size: 75%;
  padding: 20 0 0 0;
  text-align: center;
}
.figure img {
  border: 1px solid black;
}