/* http://www.thenoodleincident.com/tutorials/typography/index.html */

* { font-size: 1em; }
body { font-size: 76%; }

body, pre {
  font-family: verdana, arial, helvetica, sans-serif;
  background-color: #002447;
  color: white;
  }

a {
  text-decoration: underline;
  color: white;
  }
a:hover { color: gray; }

h1 a { text-decoration: none; }
h1 a:hover { color: white; }

h1, h2, h3 { font-weight: normal; }
h1, .dr { font-size: 2.5em; }
h2 { font-size: 1.5em; margin-top: 2em;}

ul { list-style: none; }

img { border: 0; }

th { text-align: left; }

body { padding: 4em 4em; }
td { padding: .4em .5em; }

h1 { white-space: nowrap; text-indent:-2px; }
span.space { display: none; }
span.rehm { margin-left: .1em; margin-right: .05em; font-weight: bold; }
span.ehm,
span.cols  { font-size: .75em; }
span.arch  { font-size: .9em; font-style: italic; }
span.instr { font-size: .70em; }

div.vali { margin-top: 4em; }