html {
  display: block;
  background: #FFFFFF;
}
body {
  font-family: Arial, sans-serif;
  margin: 0;
  padding: 0;
  padding-left: 12em;
}

body, table td {
  line-height: 1.4em;
  text-align: left;
}

table caption {
  font-weight: bold;
}

table.horiz,
table.list {
  margin: auto;
}

table.horiz th {
  text-align: right;
}

.center_contents {
  vertical-align: middle;
  text-align: center;
}

.centered,
.center80,
.center60,
.center40 {
  margin-right: auto;
  margin-left: auto;
  text-align: center;
}

.centered {
  width: 100%;
}
.center80 {
  width: 80%;
}
.center60 {
  width: 60%;
}
.center40 {
  width: 40%;
}
.underline {
  text-decoration: underline;
}

a:link {
  color: #444444;
  text-decoration: none;
}

a:visited {
  text-decoration: none;
  color: #4e5a7e ;
}
a:link:hover,
a:visited:hover {
  background: #c0c0d1;
  color: #000000;
}
a img {
  border: none;
}

div.error {
  text-align: center;
  margin-top: 2ex;
  font-weight: bold;
  color: red;
}

div.main {
  margin: 0;
  padding: 6ex 5%;
  border: 0;
}

div.identified {
  text-align: right;
  margin-right: 2em;
}

div.dsnav {
  position: absolute !important;
  top: 0;
  left: 0;
  margin: 0;
  padding: 3em 0 0 0;
  border: 0;
  border-right: 1px solid black;
  width: 12em;
  background: #888888;
}

div.ads a:hover{
  background: #FFFFFF;
}

div.nav {
  position: absolute !important;
  top: 0;
  left: 0;
  margin: 0;
  padding: 3em 0 0 0;
  border: 0;
  border-right: 1px solid black;
  width: 12em;
  background: #6699CC;
}

/* hide this from IE with a selector it doesn't understand */
html > body > div.nav {
  position: fixed !important;
  border-bottom-width: 0;
  bottom: 0;
}

div.nav a,
div.nav a:visited {
  display: block;
  padding-right: 1em;
  text-align: right;
  margin-bottom: 0.2em;
}
div.nav a {
  background: #6699CC;
  color: #000000;
}
div.nav a:hover {;
  background: #C8C8C8;
}

div.quote {
  margin: auto;
  text-align: center;
  font-style: italic;
}

div.note {
  font-style: italic;
  border-left: 0.25em solid #77f;
  padding-left: 1em;
}

pre.code,
div.filequote {
  background: #f0f0f0;
  line-height: 100%;
  padding-left: 1em;
  padding-top: 0.3ex;
  padding-bottom: 0.5ex;
}

pre.code {
  border-left: 0.25em solid #2a2;
}

div.filequote {
  border-left: 0.25em solid #730;
}

div.filequote pre {
  margin: 0;
}

div.filename {
  text-align: center;
  font-style: italic;
  color: #aaa;
  margin-bottom: 0.5ex;
}

h1, h2, h3, h4, h5, h6 { color: #112; text-align: left }
h1 { font: 170% sans-serif }
h2 { font: 140% sans-serif }
h3 { font: 105% sans-serif }
h4 { font: bold 100% sans-serif }
h5 { font: italic 100% sans-serif }
h6 { font: small-caps 100% sans-serif }


input, textarea {
  border: 1px solid #40489E;
  margin-left: 1em;
}
input.checkbox {
  width: 1.35em;
  height: 1.35em;
}

ul {
  padding-left: 1em;
  margin: 0;
}

div.toc a {
  border: 0;
}

.news-subject {
  font-weight: bold;
}

.task-summary {
  width: 75%;
  font-weight: bold;
}