body { background-color: #006189 }

.mainPage { color: #000000; background-color: #FFFFFF }
.mainHeading { font-family: "Verdana", "Arial", sans-serif; font-size: 120%; color: #000000; background-color: #00709E }
.subHeading { font-family: "Verdana", "Arial", sans-serif; font-size: 110%%; color: #000000 }

.contents { font-family: "Verdana", "Arial", sans-serif; color: #000000 }
.contents a:link { color: #FFFFFF; text-decoration: none }
.contents a:visited { color: #FFFFFF; text-decoration: none }
.contents a:hover { color: #FFFFFF; text-decoration: underline }

.mainPage a:link { color: #00709E; text-decoration: none }
.mainPage a:visited { color: #00709E; text-decoration: none }
.mainPage a:hover { color: #00709E; text-decoration: underline }

.footer { font-size: 90%; color: #000000 }

/* Javadoc colours */

h1 { font-size: 145% }

.TableHeadingColor     { background: #8DCFF4 }
.TableSubHeadingColor  { background: #8DCFF4 }
.TableRowColor         { background: #FFFFFF }

.FrameTitleFont   { font-size: 100%; font-family: Helvetica, Arial, sans-serif }
.FrameHeadingFont { font-size:  90%; font-family: Helvetica, Arial, sans-serif }
.FrameItemFont    { font-size:  90%; font-family: Helvetica, Arial, sans-serif }

.NavBarCell1    { background-color:#EEEEFF }
.NavBarCell1Rev { background-color:#023A67 }
.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 }

.NavBarCell2 a:link, .TableSubHeadingColor a:link, .TableRowColor a:link {color:#00709E; text-decoration: none}
.NavBarCell2 a:visited, .TableSubHeadingColor a:visited, .TableRowColor a:visited {color:#00709E; text-decoration: none}
.NavBarCell2 a:hover, .TableSubHeadingColor a:hover, .TableRowColor a:hover {color:#00709E; text-decoration: underline}

a:link {color:#FFFFFF; text-decoration: none}
a:visited {color:#FFFFFF; text-decoration: none}
a:hover {color:#FFFFFF; text-decoration: underline}