a.contents:link {
   color: black;
   text-decoration: none;
   font-weight: bold;
}

a.contents:visited {
   color: black;
   text-decoration: none;
   font-weight: bold;
}

a.contents:hover {
   color: #ffffff;
   background-color: #c568f8;
   font-weight: bold;
}

a.contents:active {
   color: #ffffff;
   text-decoration: underline;
   font-weight: bold;
}

table.contents {
   font-size: 80%;
   margin: 0;
   padding: 0;
   width: 100%;
   /* Mozilla hack, 1px bottom border not shown otherwise */
   margin-bottom: 1px;
}

table.submenu {
   background-color: #dddddd;
}

td.contents {
   background-color: #ebb9f9;
   text-align: center;
}

td.submenu {
   background-color: #dddddd;
   text-align: center;
}

td.selected {
   background-color: #eeeeee;
   text-align: center;
}

table.tablemenu {
   border: 1px solid black;
   margin: 0 auto;
}

td.tablemenu {
   margin: 0;
   padding: 0;
   text-align: center;
}