/* Text blue: #3D5B96 Dark blue: #c1cede Mid blue: #e4eef0 Light blue: #f6fffb mid green #B1CCC7 rust #96433D */ /* used for frameset holders */ .bgnd { margin-top:0; margin-left:0; background: #f6fffb; } /* used for menu */ .menu { background: #f6fffb; margin-top:20; margin-left:40; SCROLLBAR-FACE-COLOR: #c1cede; SCROLLBAR-HIGHLIGHT-COLOR: #e4eef0; SCROLLBAR-SHADOW-COLOR: #e4eef0; SCROLLBAR-ARROW-COLOR: #f6fffb; SCROLLBAR-BASE-COLOR: #e4eef0; } /* used for content pages */ .main { background: #e4eef0; margin-top:10px; margin-left:5px; margin-right:5px; margin-bottom:20px; SCROLLBAR-FACE-COLOR: #c1cede; SCROLLBAR-HIGHLIGHT-COLOR: #e4eef0; SCROLLBAR-SHADOW-COLOR: #e4eef0; SCROLLBAR-ARROW-COLOR: #f6fffb; SCROLLBAR-BASE-COLOR: #e4eef0; } /* used for menu links */ a { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 8pt; font-style:normal; color: #3D5B96; font-weight: normal; text-decoration: none; } /* used for in body links */ a.bodylink { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style:normal; color: #3D5B96; font-weight: normal; text-decoration: underline; } /* used for table of contents level 1 */ a.toc1 { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12pt; font-style:normal; color: #3D5B96; font-weight: bold; text-decoration: none; } /* used for table of contents level 2 */ a.toc2 { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10pt; font-style:normal; color: #3D5B96; font-weight: normal; text-decoration: none; } /* used for menu heading */ .title { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10pt; font-style:normal; color: #3D5B96; font-weight: bold; text-decoration: none; line-height: 1.3em; } /* used for main page headings */ h1 { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14pt; font-style: normal; color: #3D5B96; font-weight: bold; text-decoration: none; } /* used for subheads in pref. to H2 etc, to limit underlining width */ .subhead { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10pt; font-style: normal; color: #3D5B96; font-weight: bold; text-decoration: none; border-bottom : thin dashed #3D5B96; padding-right : 5px; } /* used for standard text */ p { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: #3D5B96; font-weight: normal; text-decoration: none; line-height: 1.3em; padding-right:15px; } code { font-family: lucida sans typewriter, courier, monospace; font-size: 8pt; font-style: normal; font-weight: normal; text-decoration: none; line-height: 1.3em; } ul { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: #3D5B96; font-weight: normal; text-decoration: none; } li { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; font-style: normal; color: #3D5B96; font-weight: normal; } /* used for text in boxed areas */ .boxed { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 8pt; font-style: normal; color: #96433D; font-weight: bold; text-decoration: none; margin-top:5px; margin-bottom:5px; } /* used for example code */ .codeblock { background: #B1CCC7; /*background: #e4eef0;*/ font-family: lucida sans typewriter, courier, monospace; font-size: 8pt; font-style: normal; color: #96433D; font-weight: normal; text-decoration: none; padding-right:15px; } /* used for example commands */ .command { font-size: 8pt; font-style: normal; color: #96433D; font-weight: bold; text-decoration: none; padding-right:15px; } /* used for links in boxed areas */ a.rust { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 8pt; font-style:normal; color: #96433D; font-weight: bold; text-decoration: underline; } /* used for links at the end of a page */ a.nav { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 8pt; font-style:normal; color: #96433D; font-weight: bold; }