body {
  font-family:      Arial, sans-serif;
  margin:           1em;
}

a:link {
  background-color: transparent;
  color:            #0000e0;
}

a:visited {
  background-color: transparent;
  color:            #700090;
}

h1 {
  font-family:      Tahoma, sans-serif;
}

h1, h2, h3, h4, h5, h6 {
  background-color: transparent;
  color:            #001080;
}

p {
  margin-left:      0.35em;
}

pre {
  background-color: #ffc;
  color:            #000;
  margin-left:      1.7em;
  margin-right:     1.7em;
}

ul li {
  margin-right:     2.5em;
  margin-top:       1em;
}

th {
  background-color: rgb(248,248,248);
  border:           1px solid rgb(196,196,196);
}

tr, td {
  border:           1px solid rgb(235,235,235);
  border-top:       0px;
  font-size:        12px;
}

table {
  border:           1px;
  margin-left:      5px;
  margin-right:     5px;
  padding:          2px;
  width:            98%;
}