/* Define colors, fonts and other style attributes here to override the defaults  */
/* based on Javasoft's Javadoc system style   */

/* Page background color */
body { background-color: #FFFFFF ;
font-family: Arial, Helvetica, sans-serif; color:#000000;
}

body.lightmauve { background-color: #EEEEFF ;
font-family: Arial, Helvetica, sans-serif; color:#000000;
}


.bodydark { background-color: #222222 ;
font-family: Arial, Helvetica, sans-serif; color:#000000;
}


h5   	{ font-size : 12; font-weight : bold; color: #999999; margin: 0px; 
}

hr.full  { width: 100%; align: right;  
}

font.listing { font-size : 16; font-weight : bold; color: #000000; margin: 0px; 
}

/* page fonts */
.PageTitle   { font-size : 22; font-weight : bold; color: #000000; margin: 0px; 
}

PRE.box {
  BACKGROUND: #eeeeFF; BORDER-BOTTOM: black 2px solid; BORDER-LEFT: black 2px solid; BORDER-RIGHT: black 2px solid; BORDER-TOP: black 2px solid; COLOR: black; FONT-FAMILY: Courier, fixed, serif; FONT-WEIGHT: bold; MARGIN-LEFT: 1em; MARGIN-RIGHT: 1em; TEXT-ALIGN: left; WHITE-SPACE: pre; WIDTH: auto
}

/* Table colors */
.TableHeadingColor     { background: #CCCCFF } /* Dark mauve */
.TableSubSubHeadingColor { background: #DDDDFF } /* mid mauve */
.TableSubHeadingColor  { background: #EEEEFF } /* Light mauve */
.TableRowColor         { background: #FFFFFF } /* White */

.linktable  { background: #DDDDFF; font-size: 10 }
/* article table colors */
.ArtTableHeadingColor     { background: #888888 } /* Dark mauve */
.ArtTableSubHeadingColor  { background: #AAAAAA } /* Dark mauve */

/* misc items */
.copyright { font-size : 10; text-align: center }


.titledates   	{ font-size : 10; font-weight : bold; color: #992222; margin: 0px; 
}

.url   	{ font-size : 10; font-weight : bold; color: #444444; margin: 0px; 
}

.navInterPage {
font-family: Arial, Helvetica, sans-serif; font-size: 14; font-weight:demi-bold;
}

 #alerter {
     background-color:#EEEEFF;
     position:absolute;
     margin-left : 25px;
     margin-top : 100px;
     width: 60%;
     height: 0%;
     z-index:5;
     visibility:visible;
     border-style: solid;
     border-width: 4px 5px 5px 4px;
     border-color : #CCCCFF Black Black #CCCCFF;
     padding-top : 10px;
     padding-bottom : 5px;
 }