body {
  padding: 0;
  margin: 0;
  font: 11pt/1.5em "Trebuchet MS",Verdana,Arial,Sans-serif;
  background-color: #000;
}

table {
  font: 11pt/1.4em "Trebuchet MS",Verdana,Arial,Sans-serif;
}

/**
 * Header
 */
div#header {
  height: 180px;
  background-color: #000;
  background-image: url(light.png);
  background-position: top left;
  background-repeat: no-repeat;
  margin-top: 0px;
  margin-left: 21px; /* 15 + 2 * 3p */
  margin-right: 7em; /* margin of body to protect navigation overflow */
  margin-bottom: 0px;
  padding: 0px;
  max-width: 52em;
}

img#name {
  position: absolute;
  margin-top: 15px;
  margin-left: 0px;
}

img#logo {
  margin-top: 92px;
}

/**
 * Body
 */
div#body {
  position: absolute;
  top: 180px;
  margin-top: 0px;
  margin-left: 15px;
  margin-right: 7em;
  padding: 0px;
  min-height: 400px;
  border-top:3px solid #000;
  border-left:3px solid #000;
  border-right:3px solid #000;
  border-bottom: 18px solid #000;
  overflow: visible;
  max-width: 52em;
  background-color: #eee;
}

div#body > table {
  padding: 0px;
  margin: 0px;
}

td#body {
  padding-left: 20px;
  padding-top: 20px;
  padding-right: 20px;
  padding-bottom: 20px;
}

td#body a:link {
  color: black;
}

td#body a:visited {
  color: black;
}
td#body a:hover {
  color: blue;
  text-decoration: underline;
}

.bodytop {
  padding-top: 0;
  margin-top: 0;
}

/**
 * Navigation Bar
 */
td.nav {
  vertical-align: top;
  padding-top: 25px;
}

div.nav {
  position: fixed;
  border:3px solid #000;
  background-color: white;
  padding-left: 12px;
  padding-top: 10px;
  padding-right: 12px;
  padding-bottom: 3px;
  margin: 0;
  line-height:1.7em;
}

div.nav > h2 {
  margin:0;
  padding:0 0 .2em;
  font-size: 12pt;
  line-height:1.4em;
  border-bottom: 1px solid #444;
}

/**
 * Lists in the navigation bar
 */
div.nav ul {
  margin-top: 6px;
  margin-bottom: 6px;
  padding-left: 0px;
  list-style: none;
}

div.nav li {
  margin-left: 0px;
}

div.nav a:link {
  color: black;
  text-decoration: none;
}
div.nav a:visited {
  color: black;
  text-decoration: none;
}
div.nav a:hover {
  color: blue;
  text-decoration: underline;
}

/**
 * misc
 */
a img {
    border-width:0;
}

pre {
  border: 1px solid #666;
  padding: 6px 6px;
  margin-top    : 0.5em;
  margin-bottom : 0.5em;
  margin-left   : 0.5em;
  margin-right  : 0.5em;
  background    : #eeeeee;
  color : #600000;
  background-color: white;
  font-family: monospace;
}

.abstract {
  margin-left: 15px;
  margin-right: 15px;
  padding-left: 8px;
  padding-right: 8px;
  border: 1px dotted #456;
  background-color: #dddddd;
  display: none;
}

.abstract p {
  margin-top: 5px;
  margin-bottom: 5px;
}

.pub-links {
  margin-top: 6px;
  text-align: right;
}

.pub-links span {
  font-size: 8pt;
  border-top: 1px dotted #888;
  padding-top: 2px;
  color: #666 !important;
}

.pub-links span a {
  font-size: 8pt;
  margin-left: 3px;
  color: #666 !important;
}

/**
 * Page text
 */
.topic img {
  margin:0 0 5px 0;
  padding:4px;
  border:1px solid #586;
}

blockquote {
  margin:.75em 0;
  border:1px dotted #596;
  border-width:1px 0;
  padding:5px 15px;
}

.topic blockquote p {
  margin:.5em 0;
}

.topic-header {
  margin-left: 0;
  margin-bottom: 30px;
  line-height:2em;
  border-bottom: 3px solid black;
}

.inline-topic-header {
  line-height: 2em;
  border-bottom: 3px solid black;
  margin-bottom: 25px;
}

h1 {
  font-size: 16pt;
}

h2 {
  margin: 0;
  font-size: 14pt;
  line-height: 1.5em;
  display: block;
  padding: 2px 14px 2px 0px;
  color: #111;
}

h3 {
  margin: 0;
  font-size: 11pt;
  line-height: 1.5em;
  display: block;
  padding: 2px 14px 2px 0px;
  color: #111;
}

.major li {
  margin-bottom:14px;
}

/**
 * Lists of PDF items
 */
ul.pdflist {
  list-style-type: none;
  margin-left: 0px;
  padding-left: 10px;
}

li.pdfitem img {
    margin-right: 6px;
    margin-bottom: 6px;
    vertical-align: middle;
}

li.pdfitem a {
    text-decoration: none;
    color: black;
}

li.pdfitem a:hover {
    text-decoration: underline;
    color: black;
}