/* Javadoc style sheet */

/* Define colors, fonts and other style attributes here to override the defaults */

/* Page background color */
body {
	background: white url(../images/logo.png) top center no-repeat;
	font-size: 90%;
	font-family: arial,helvetica,geneva,sans-serif;
	color: black;
	padding-top: 50px;
}


.dark { color: rgb(0,56,127); }
.medium { color: rgb(85,122,170); }
.pale { color: rgb(170,189,212); }
.pale2 {color: rgb(225,232,240); }
.light { color: rgb(25,155,215); }


/* Headings */
h1 {
  font-familly: verdana, arial, sans-serif;
  font-size: 120%;
  font-weight: bold;
  color: rgb(0,56,127);
}
h2 {
   font-familly: verdana, arial, sans-serif;
   display: block;
   font-size: 110%;
   font-weight: bold;
   margin: 20px 0 20px 0;
   height: 1.5em;
   background: transparent url(../images/h2-bg.png) bottom left no-repeat;
}
h3 {
   font-familly: verdana, arial, sans-serif;
   font-size: 120%;
   font-weight: bold;
   margin: 15px 0 10px 20px;
   height: 1.75em;
   background: transparent url(../images/h3-bg.png) bottom left repeat-x;
}



/* Table colors */
.TableHeadingColor {
	background: rgb(225,232,240);
	font-family: verdana, arial, sans-serif;
}

.TableSubHeadingColor {
	background: rgb(225,232,240);
}

.TableRowColor {
	background: white;
}

/* Font used in left-hand frame lists */
.FrameTitleFont   { font-size: 100%; font-family: Arial, sans-serif }
.FrameHeadingFont { font-size: 100%; font-family: Verdana, Arial, sans-serif;}
.FrameItemFont    { font-size:  90%; font-family: Arial, sans-serif }

/* Navigation bar fonts and colors */
.NavBarCell1    { background-color:rgb(170,189,212);} /* Light mauve */
.NavBarCell1Rev { background-color:rgb(0,56,127);} /* Dark Blue */
.NavBarFont1    { font-family: Arial, sans-serif; color:#000000;}
.NavBarFont1Rev { font-family: Arial, sans-serif; color:#FFFFFF;}

.NavBarCell2    { font-family: Arial, sans-serif; background-color:#FFFFFF;}
.NavBarCell3    { font-family: Arial, sans-serif; background-color:#FFFFFF;}

a:link {
 text-decoration: none;
 color: rgb(0,56,127);
 padding-left: 1px;
 padding-right: 1px;
 border-bottom: 1px dashed rgb(0,56,127);
}
a:visited {
 text-decoration:none;
 color: rgb(0,56,127);
 padding-left: 1px;
 padding-right: 1px;
 border-bottom: 1px dashed rgb(0,56,127);
}
a:active {
 text-decoration: none;
 background-color: rgb(170,189,212);
 color: white;
 padding-left: 1px;
 padding-right: 1px;
 border-bottom: 1px solid rgb(0,56,127);
}
a:hover {
 text-decoration: none;
 background-color: rgb(170,189,212);
 color: white;
 padding-left: 1px;
 padding-right: 1px;
 border-bottom: 1px dashed rgb(0,56,127);
}
a[href^="http://"] {
	padding-right: 15px;
	background: url(../images/ext-link.png) right top no-repeat;
}
a[href^="http://"]:hover {
 background-color: rgb(170,189,212);
 background-position: right -100px;
}

a[href^="http://"] span {
   display: none;
}

code {
	font-size: 110%;
}

pre {
	font-size: 110%;
   margin: 0 10px 0 30px;
   padding: 0 1em 0 1em;
   border-left: 7px solid rgb(85,122,170);
   background-color: rgb(225,232,240);
   overflow: auto;
}