a:visited
   { color             : fuchsia;
   }

a:active
   { color             : #000099;
   }

#bottom_table
   { text-align        : center;
     margin-left       : auto;
     margin-right      : auto;
     font-size         : smaller;
     font-family       : "MS Sans Serif";
     font-weight       : bold;
   }

#days_toc ul
   { list-style        : none;
     text-align        : center;
     padding           : 0;
   }

#header
   { text-align        : center;
     color             : maroon;
     font-weight       : bold;
   }

#footer
   { text-align        : center;
     color             : maroon;
     font-weight       : bold;
   }

#links_line
   { text-align        : center;
     color             : "#3333ff";
     font-family       : "MS Sans Serif";
     font-size         : larger;
   }

#links_line
   { display           : block;
   }

#logo
   { text-align        : center;
   }

#logo a
   { display           : block;
   }

#logo img
   { border-style      : solid;
     border-width      : 2px;
   }

#toc a
   { display           : block;
   }

#toc ul
   { margin-left       : 0;
     padding-left      : 0;
     list-style        : none;
     text-align        : center;
   }

#toc li ul
   { display           : none;
     text-align        : left;
   }

#toc li:hover ul
   { display           : block;
     margin-top        : -1em;
     margin-left       : 60%;
     position          : absolute;
        /* if this isn’t here, then jumping to a link causes the
           browser to miscalculate the distance from the top of
           the web page; however, the list looks much better
           without it
        */
     background-color  : white;
     text-align        : left;
   }

#top_table
   {
     width             : 85%;
     text-align        : center; /* was left */
     vertical-align    : middle;
     margin-left       : auto;
     margin-right      : auto;
     border            : 0;
   }

#top_table a
   {display            : block;
   }

.bold
   { font-weight       : bold;
   }

.centered
   { text-align        : center;
   }

.copyright_line
   { color             : red;
     font-family       : "Times New Roman, Times, serif";
     text-align        : center;
   }

.date
   { color             : teal;
   }

.region
   { color             : rgb(204, 0, 0);
     font-size         : 100%;
     display           : block;
     font-size         : 126%;
     text-align        : center;
   }

.time
   { color             : #995000;
   }

.town
   { color             : rgb(204, 0, 0);
     font-size         : 117%;
   }

.venue
   { color             : maroon;
   }

.venue_id
   { color             : blue;
   }

body {background-color: #EFFEEF; }

h1
   {  font-size        : 111%;
      text-align       : center;
      color            : rgb(204, 0, 0);
   }

hr.region
   {  background-color : rgb(204, 0, 0);
      border           : none;
      height           : 0.15em;
   }

pre
   {  font-family      : serif;
   }

body > div > pre > br
   {  line-height      : 3px;
      font-size        : 1pt;
      display          : block;
      white-space      : normal;
   }