p, div, a, body
 { font-family: Helvetica, Sans-Serif, Arial;
   color: #000000; }

h1, h2, h3, h4 { margin-bottom: 3px; margin-top: 0px; }

h1
 { font-family: Helvetica, Sans-Serif, Arial;
   color: #003366; }

h2 { color: #660000; }

h3 { color: #003366; }

h4 { color: #660000; }

a 
 { font-weight: bold;
   color: #0000FF; }

a:hover { color: #3399cc; }

a:visited { color: purple; }

#menu 
 { list-style-type: none;
   padding: 0px;
   margin: 0px; }

#menu li { margin: 4px 0px 4px 0px; }

#menu li a
 { border: 1px solid #bdd2df;
   border-left: 10px solid #bdd2df; }

#menu li a
 { text-decoration: none;
   padding: 4px;
   color: #336699;
   font-size: small;
   width: 100%;
   display: block; }

/* This is for everything but IE, because IE doesn't support CSS correctly(!!) */
html>body>table>tr>td #menu li a { width: auto; }

#menu li:hover a, #menu li a:hover
 { color: #fff;
   background-color: #47769E; }

#menu li.current a
 { color: #fff;
   background-color: #6A96B0;
   border: 1px solid #6A96B0;
   border-left: 10px solid #6A96B0; }

#menu li a:hover 
 { border: 1px solid #003366;
   border-left: 10px solid #003366; }

a.menu
 { color: #336699;
   font-size: small;
   text-decoration: none; }

a.menu:hover
 { color: #000066;
   text-decoration: underline; }

#menupanel
 { background-color: #cfe2ee;
   padding: 5px;
   border-top: 1px solid #c1c1c1;
   border-bottom: 1px solid #c1c1c1;
   border-right: 1px solid #c1c1c1; }

table#workshops 
 { font-size: small;
   border-top: 1px solid #c1c1c1;
   border-bottom: 1px solid #c1c1c1;
   border-right: 1px solid #c1c1c1;
   valign: top; }

table#workshops tr th 
 { color: #000;
   border-bottom: 4px solid #c1c1c1;
   text-decoration: underline;
   text-align: center; }

table#workshops tr th, table#workshops tr td 
 { padding: 2px; 
   border-left: 1px solid #c1c1c1; }

table#workshops tr td.special
 { background-color: #e3e3e3; }
   border-top: 1px solid #bdd2df; }