body { font-family: Times, times, serif;
       background-color: #f3f3ff;
       background-image: url(bkgd.jpg);
       background-repeat: no-repeat;
       color: black; }

body.prog { font-family: Times, times, serif;
       background-color: #ffffff;
       background-image: none;
       color: black; }

A:link    { color: #009 }   /* unvisited link */
A:visited { color: #069 }   /* visited links */
A:active  { color: red }    /* active links */


h1, h2, h3 { font-family: Helvetica, helvetica, sans-serif;
             color: #009;
             font-weight: bold; }

h1 { font-size: 200%;
     margin-top: 1em;
     margin-bottom: 0.2em }
h2 { font-size: 140%;
     margin-top: 0.5em;
     margin-bottom: 0em }
h3 { font-size: 100%;
     margin-top: 0.25em;
     margin-bottom: 0em }

ul li { list-style: disc; color: #009 }

menu li { list-style: disc; color: #009 }

address { font-size: small; }