body {
  background-color: white;
  color: black;
  font-size: 14px;
}

h1 {
  font-family: "times", "Times New Roman", serif;
  color: white;
  background-color: black;
  /*border: 1px dashed silver;*/
}

h2, h3, h4 {
  font-family: "times", "Times New Roman", serif;
  color: black;
  background-color: white;
}

a {
  color: navy;
  background-color: none;
}

a:link {
  color: black;
  background-color: none;
  text-decoration: none;
}

a:visited {
  color: black;
  background-color: #eee;
  text-decoration: none;
}

a:active, a:hover, a:focus {
  color: #A00000;
  background-color: #fdd;
  text-decoration: underline;
}

a.nodec, a.nodec:active, a.nodec:hover, a.nodec:focus, a.nodec:visited {
  color: black;
  background-color: white;
  text-decoration: none;
}

p, li, dt, dd {
  font-size: 15px;
}

address {
  font-size: 12px;
  font-style: italic;
}

pre {
}

pre b {
  background-color: #ddd;
}

pre i {
  color: red;
}

code {
  background-color: #ddd;
  font-size: large;
}

span.out {
  border: 1px solid black;
  font-family: monospace;
  font-size: small;
}

th {
  text-align: left;
  padding: 3px;
  background-color: #ddd;
}

tr.pub {
}

span.posted {
  font-weight: bold;
}

p.dateid {
  text-align: right;
  margin-top: -40px;
  margin-right: auto;
}

ul.nobullet {
  list-style-type: none;
}

cite {
  background: #eee;
}

span.tags {
  font-weight: bold;
}