:link { color: #0000A0 }
:visited { color: #A00000 }

body
  {
    color: #000000; background: #AFBFCF;
    margin-top: 3%;
    margin-left: 6%;
    margin-right: 5%;
    font-family: serif;
    font-size: 100%;
  }

div.title
  {
    font-family: sans-serif;
    font-size: 120%;
    font-weight: bold;
    margin-left: -1%;
    margin-top: 0.8em;
    margin-bottom: 0.1em;
  }

div.box
  {
    color: #000000;
    background: #B0B9A6;
    border: none;
    padding: 1.0em;
    font-family: Comic Sans MS, Arial, sans-serif;
    font-size: 80%;
    margin-left: 3%;
    margin-right: 3%;
  }

div.test
  {
    margin-left: -5%;
    margin-right: -5%;
    border-left: solid;
    border-right: solid;
    border-top: solid;
    border-bottom: solid;
    border-left-width: thin;
    border-right-width: thin;
    border-top-width: thin;
    border-bottom-width: thin;
    border-color: #884444;
    padding: 3.0em;
  }

div.mylinks
  {
    border: none;
    font-family: sans-serif;
    font-size: 100%;
    margin-left: 5%;
  }

div.logo
  {
    background: #70A2AF;
    border: none;
    padding-left: 0.5em;
    padding-right: 0.5em;
    padding-top: 0.2em;
    padding-bottom: 0.3em;
    margin-top: 0%;
    margin-left: -10%;
    margin-right: -10%;
  }


pre
  {
    font-family: monospace;
  }

h1,h2,h3,h4,h5,ul
  {
    font-family: sans-serif;
    font-weight: bold;
  }