body { margin-left: 6%; margin-right: 6%;
       font-family: sans-serif;
       font-size: small;
       color: rgb(192,192,192);
       background: rgb(0,0,0);
       background-image: url(bg.png);
}
h1 { font-size: 200%;
     margin-top: 1em;
}
a:link { text-decoration: underline;
         color: rgb(0,0,0);
}
a:visited { text-decoration: underline;
            color: rgb(0,0,0);
}
a:hover { text-decoration: none;
          color: rgb(128,0,0);
}
a:active { text-decoration: none;
           color: rgb(128,128,128);
}
.menuclass a:link { text-decoration: none;
                    color: rgb(0,0,0);
}
.menuclass a:visited { text-decoration: none;
                       color: rgb(0,0,0);
}
.menuclass a:hover { text-decoration: underline overline;
                     color: rgb(128,0,0);
}
.menuclass a:active { text-decoration: none;
                      color: rgb(128,128,128);
}
div.menubox { border: none;
              background: rgb(192,192,192);
              color: rgb(0,0,0);
              text-align: center;
              font-weight: bold;
              font-size: medium;
              text-decoration: none;
}
div.textbox { border: none;
              padding: 0.5em;
              font-size: small;
              background: rgb(192,192,192);
              color: rgb(0,0,0);
}
div.coverbox { border-style: double;
               padding: 0.5em;
               background: rgb(0,0,0);
}