body
{
  margin: 0px;
  border: 0px;
  padding: 0px;
  text-align: center;
  background-color: #F1F1F1;
  font-family: sans-serif;
  color: black;
}

#container_of_everything {
  background-color: white;
  border: solid silver 1px;
  padding: 10px;
  position: relative;
  margin: auto;
  width: 800px;
  text-align: left;
  }

#atchr {
  vertical-align: text-bottom;
}

table
{
  font-size: 100%; /* Otherwise body font-size does not propagate to tables */ 
  border-collapse: collapse; /* the required look in most cases, with single borders and no gaps */
}

h1
{ 
  font-family: Arial,sans-serif;
  font-size: 150%;
  font-weight: bold;
}

h2
{ 
  font-family: Arial,sans-serif;
  font-size: 135%;
  font-weight: bold;
}

h3
{ 
  font-family: Arial,sans-serif;
  font-size: 120%;
  font-weight: bold;
  font-style: italic;
}

pre
{
  font-size: 12px; /* otherwise Firefox uses a very small font size */
}

*.smaller
{
  font-size: 80%;
}

a
{
  text-decoration: none;
  background-color: white;
  color: teal;
}

a:hover
{
  color: black;
  background-color: yellow;
}

img
{
  border: 0;
  padding: 0;
}

span.highlight
{
  background-color: #99FF00;
}

span.warning
{
  background-color: #FF9900;
}

div.framed
{
  border: 1px solid black; 
  padding-left: 1em; 
  padding-right: 1em;
}

div.highlight
{
  border: 2px solid black; 
  background-color: #ffff66; 
  padding-left: 1em; 
  padding-right: 1em;
}

@media print
{
  body
  {
    color: black;
    background-color: white;
    margin: 0;
    border: 0;
    padding: 0;
    width: 100%
  }
  #container_of_everything
  { 
    margin: 0;
    border: 0;
    padding: 0;
    width: 100%; 
  }
  .not_printed
  {
  display: none;
  }
}