body {
  margin-left: 2%;
  margin-right: 2%;
  color: black;
  background: white;
}

:link    { color: rgb(0,31,255) }
:visited { color: rgb(0,63,127) }
:hover   { color: rgb(127,255,0) }
:active  { color: rgb(95,127,63) }

h1 {
  margin-top: 1.5ex;
  margin-bottom: 1ex;
  text-align: center;
  color: rgb(0,31,255);
}

h2, h3, h4, h5, h6 {
  margin-top: 1ex;
  margin-bottom: 0.5ex;
  text-align: left;
  color: rgb(0,31,255);
}

p {
  margin-left: 1em;
  margin-right: 1em;
  text-align: justify;
}

ul {
  margin-left: 2em;
  margin-right: 2em;
  text-align: justify;
}

em {
  font-style: italic;
  font-size: 100%;
}

address {
  margin-left: 3em;
  margin-right: 3em;
}

pre {
  font-family: monospace;
  font-size: 100%;
}

pre.file {
  margin-left: 1em;
  color: rgb(0,0,127);
  padding: 0 0 0 0.5em;
  border-left: thick solid #999;
}

code, kbd, sample {
  font-family: monospace;
  font-size: 100%;
}

var {
  font-style: italic;
}

img.thumbnail {
  float: left;
  margin-right: 1em;
}