/* Set the font for the contents and menu text */
.menu, .menucurrent, a, li, td, p
   {
   font-size: 10pt;
   font-family: Arial;
   }

/* Set the background color for the contents */
td
   {
   background-color: rgb(255,255,216);
   }

/* Set the font for headings */
h1, h2, h3, h4
   {
   font-family: Arial, sans-serif;
   }

/* Set the bullet type */
li
   {
   list-style-type: disc;
   }

/* Set the color for the other items in the menu, as well as for the title bar */
.titlebar
   {
   color: rgb(0,0,0);
   background-color: rgb(49,201,255);
   }

/* Set the color for the search bar */
.searchbar
   {
   color: rgb(0,0,0);
   background-color: rgb(49,201,255);
   }

/* Set the color for the current item in the menu */
.menucurrent, .menucurrent:link, .menucurrent:visited
   {
   color: rgb(125,221,255);
   background-color: rgb(0,0,0);
   }

/* Set the color for the other items in the menu, as well as for the title bar */
.menu, .menu:link, .menu:visited
   {
   color: rgb(0,0,0);
   background-color: rgb(125,221,255);
   }

/* Disable underlines for links in the main text and menu */
.menu:link, .menu:visited, .menucurrent:link, .menucurrent:visited, a:link, a:visited
   {
   text-decoration:none;
   }

/* Underline menu items and main text links when the cursor moves over them */
.menu:hover, .menucurrent:hover, a:hover
   {
   text-decoration:underline;
   }

/* Set the link / visited colors for the contents */
a:link
   {
   color: rgb(0,0,255);
   }

a:visited
   {
   color: rgb(204,0,153);
   }

/* Set the title size */
.title
   {
   font-size: 36pt;
   font-family: Times New Roman, serif;
   padding-top: 0em;
   padding-bottom: 0em;
   margin-top: 0em;
   margin-bottom: 0em;
   }