body
{
  background-image: url(images/background.jpg);
  background-color: #E6EDF1;
  color: #222222;
 }

:link { color: #444444 }
:visited { color: #444444 }
:active { color: #444444 }

table.c2
 {border: solid 2px;
  border-color: black;
 }

td.c3 {font-size: 80%}
td.c6 {vertical-align: top;}

p.c5 {font-size: 80%; font-weight: bold}
span.c7 {font-size: 64%}
span.c4 {font-size: 80%}

div.c1 {font-weight: bold; text-align: center}

pre.changelog
 {
 font-family: serif;
 font-weight: normal;
 font-size: 9pt;
 }

.fixed
{
        font-family: monospace;
}