html, body {
  font-family: Verdana, sans-serif;
  color: #000;
  background-color: #fff;
}

h1 {
  color: #4a5389;
  border-bottom: solid 1px #000;
}

h2 {
  font-size: 24px;
  text-align: right;
  color: #4a5389;
  border-bottom: 1px solid #000;
}

h3 {
  font-size: 18px;
  color: #900;
}

h4 {
  font-size: 14px;
  color: #000;
}

a[href] {
  color: #4a5389;
}

a[href]:hover {
  background-color: #ecefff;
}

p, li, dd {
  text-align: justify;
}

li {
  margin-top: 0.3em;
}

li:first-child {
  margin-top: 0px;
}

blockquote {
  color: #555;
}

caption {
  font-style: italic;
  color: #009;
  text-align: left;
  margin-left: 20px;
}

table[border="1"] {
  border-collapse: collapse;
  margin-bottom: 1em;
}

table[border="1"] td {
  border: 1px solid #ddd;
}

pre, tt, code {
  color: #461b7e;
}

pre {
  margin:1ex 2ex;
  border:1px dashed lightgrey;
  background-color:#f9f9f9;
  padding:0.5ex;
}

pre em {
  font-style: normal;
  font-weight: bold;
}

dt {
  margin:0ex 2ex;
  font-weight:bold;
}

dd {
  margin:0ex 0ex 1ex 4ex;
}
