/* Javadoc style sheet for Antelmann.com *//* Page background color  - customized for Antelmann.com *///body { background-color: #FFFFFF; }body { background-color: #E3E3E3; }//       scrollbar-face-color: navy;//       scrollbar-arrow-color: yellow }/* Table colors *///.TableHeadingColor     { background: #CCCCFF } /* Dark mauve */.TableHeadingColor     { font-family: Comic Sans MS; background: #0066ff; color: #FFFF00 } /* Antelmann.com custom *///.TableSubHeadingColor  { background: #00FFFF} /* Light mauve */.TableSubHeadingColor  { background: #00FFFF} /* Antelmann.com aqua */.TableRowColor         { background: #FFFFFF } /* White *//* Font used in left-hand frame lists *///.FrameTitleFont { font-size: normal; font-family: normal }.FrameTitleFont { font-family: Comic Sans MS } /* Antelmann.com custom *///.FrameHeadingFont { font-size: normal; font-family: normal }.FrameHeadingFont { font-family: Comic Sans MS } /* Antelmann.com custom *///.FrameItemFont    { font-size: normal; font-family: normal }.FrameItemFont    { font-size: 10pt; font-family: Comic Sans MS } /* Antelmann.com custom *//* Example of smaller, sans-serif font in frames *//* .FrameItemFont  { font-size: 10pt; font-family: Helvetica, Arial, sans-serif } *//* Navigation bar fonts and colors *///.NavBarCell1    { background-color:#EEEEFF;}/* Light mauve */.NavBarCell1    { background-color:#1E90FF;}/* Antelmann.com custom */.NavBarCell1Rev { background-color:#00008B;}/* Dark Blue */.NavBarFont1    { font-family: Arial, Helvetica, sans-serif; color:#000000;}.NavBarFont1Rev { font-family: Arial, Helvetica, sans-serif; color:#FFFFFF;}.NavBarCell2    { font-family: Arial, Helvetica, sans-serif; background-color:#FFFFFF;}.NavBarCell3    { font-family: Arial, Helvetica, sans-serif; background-color:#FFFFFF;}/* Antelmann's other customized stuff */a:hover      { color: #FF0000 }