html, body{
   margin: auto 15% auto 15%;
   font-family: monospace;
   font-size: 1.15em;
   background-color: #FFFFFF;
   color: #000000;
}
h1
   {
   color: #666666;
   font-family: monospace;
   font-size: 1.6em;
   text-align: left;
   margin-top: 2ex;
   margin-bottom: 1.5ex;
   font-weight: light;
}
hr
   {
   color: #eeeeee;
   background-color: #aaaaaa;
   border: 0;
   height: 1px;
 }
A:link    {text-decoration: none; color: #0000ff;}
A:visited {text-decoration: none; color: #0000ff;}
A:active  {text-decoration: none; color: #0000ff;}
A:hover   {text-decoration: none; color: #ff0000; background-color: #fafafa;}

li {
   padding-bottom: 9px;
}
.center {
  display: block;
  margin-left: auto;
  margin-right: auto;
  width: 50%;
}

figure {
    text-align: center;
    text-indent: 0;
    font-style: italic;
    font-size: smaller;
    padding: 0px 0px 0px 0px;
}

figcaption {
    padding: 5px 0px 0px 0px;
}

table {
    border: 1px solid #ffffff;
}
td {
    text-align:center;
}

pre {
    white-space: pre-wrap;
    background: #dcdcdc;
}