body {margin-left: 0px;
      margin-right: 0px;
      margin-top: 0px;
      margin-bottom: 0px;}
body.index {background: #8585FF;
            color: #FFFFFF;}
body a {color: yellow;}
div.holiday {margin-top: 5px;
             margin-right: 0px;
             text-decoration: none;
             color: yellow;
             background-color: #338888;}
div.holiday a {color: yellow;
               text-decoration: none;}
div.holiday a:hover {color: #338888;
                     background-color: yellow;}
div.sitemap a:hover {font-size: 16pt;
                     background: navy;
                     color: aqua;}
div.sitemap a {color: yellow;}
div.sitemap a.head {font-size: 16pt;
                    font-weight: bold;
                    font-style: normal;
                    text-decoration: none;}
div.sitemap font.head {color: yellow;
                       font-size: 16pt;
                       font-weight: bold;
                       font-style: normal;
                       text-decoration: none;}
div.sitemap a.list {font-size: 12pt;
                    font-weight: normal;
                    font-style: normal;
                    text-decoration: none;}
div.sitemap font.list {color: yellow;
                       font-size: 12pt;
                       font-weight: normal;
                       font-style: normal;
                       text-decoration: none;}
div.sitemap a.guestbook {color: #A0A;
                         font-size: 14pt;
                         font-weight: bold;
                         font-style: normal;
                         text-decoration: none;}
div.sitemap a.guestbook:hover {background: blue;
                               color: white;
                               font-weight: bold;}
table.index {margin: 0em 0em 0em 0em;}
td.topcorner {background: #5577DD;
              text-align: center;
              top: 0px;
              left: 0px;
              width: 10em;
              right: 0px;}
td.topper {background: navy;}
td.sidepanel {background: navy;}
div.marks {background: #5577DD;
           margin: 0em 0em 0em 0em;
           padding: 2px;
           border: none;}
p.indent {text-indent: 5em;
          margin-top: 1em;}
strong {text-transform: uppercase;
        font-weight: bold;}
var.date {font-family: Times New Roman, san-serif; 
          color: #FFFFFF; 
          font-size: 16pt;
          font-weight: normal;
          font-style: normal;}
code.small {font-family: Times New Roman, san-serif; 
            font-size: 9pt; 
            color: aqua;}
code.courier {font-family: Courier, serif; 
              font-size: 9pt; 
              color: aqua;}