BODY { background-image: url(theme/background.png);
       font-family: sans-serif;
       font-style: normal;
       font-size: 18pt }

TH { font-size: 18pt }

TD { font-size: 18pt }

PRE { background-color: darkslategray;
       color: wheat;
       border-width: 3;
       padding: 5;
       margin-left: 100;
       margin-right: 100;
       border-color: red;
       border-style: solid}

PRE.sequence { background-color: darkslategray;
       color: wheat;
       border-width: 3;
       padding: 5;
       margin-left: 100;
       margin-right: 100;
       border-color: red;
       border-style: solid;
       font-size: 20pt }