body
{
  background-color: #c0c0c0;
  color: black;
}

h1 { 
  margin-top: 0em;
  margin-bottom: 0em;
}

h1, h2, h3
{
  font-family: Sans-Serif;
}

a { 
  color: darkblue;
}

a:hover
{
  color: blue;
}

div.menu a
{
  display: block;
  font-size: 1.2em;
  font-family: Sans-Serif;
  text-decoration: none;
  background-color: white;
  text-align: center;
  margin: 5px;
  padding: 0px;
  color: black;
  border-style: solid;
  border-width: thin;
  border-color: white;
}

div.menu a:hover { 
  border-color: white black black white; 
  background-color: lightgrey;
}

div.smallmenu { 
  text-align: center;
  margin-bottom: 5px;
  line-height: 1.5em;
}

div.smallmenu a
{
  display: inline;
  text-decoration: none;
  background-color: #eeeeee;
  text-align: center;
  padding: 1px 5px 1px 5px;
  color: black;
  border-style: solid;
  border-width: thin;
  border-color: white;
}

div.smallmenu a:hover { 
  border-color: white black black white; 
  background-color: lightgrey;
}


pre.code
{
  color: black;
  background-color: lightgrey;
  border-style: solid;
  border-width: 1px;
  padding: 14px;
  margin: 20px;
}

div.mainbody
{
  border-style: solid;
  border-width: thin;
  border-color: black;
  padding: 10px;
  color: black;
  background-color: white;
}

div.mainbody h2
{
  color: black;
  background-color: rgb(220,220,220);
  padding-left: 1em;
}

div.mainbody h3
{
  color: black;
  background-color: rgb(180,180,180);
  padding-left: 1em;
}

p.warning {
  font-size: 1.5em;
  color: red;
  background-color: #607f9b;
  font-family: Sans-Serif;
  border-style: solid;
  border-color: black;
  padding: .3em;
  text-align: center;
}

p.warning a {
  color: black;
}

p.warning a:hover {
  color: white;
}