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

/* 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 current item in the menu */
.menucurrent
   {
   color: #000080;            /* Dark blue */
   background-color: #ffffff; /* White     */
   }

/* Set the color for the other items in the menu, as well as for the search bar */
.menu, .searchbar
   {
   color: #ffffff;            /* White     */
   background-color: #000080; /* Dark blue */
   }

/* 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 title size */
.title
   {
   font-size: 36pt;
   font-family: Times New Roman, serif;
   padding-top: 0em;
   padding-bottom: 0em;
   margin-top: 0em;
   margin-bottom: 0em;
   }

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