4 font-family: sans-serif;
10 /* Contains the entire of the page */
15 /* Contains the menu */
20 border: 1px solid #000066;
36 padding: 5px 0px 5px 0px;
41 /* Contains the main page - including header and footer */
46 /* Contains the header */
52 /* Contains the footer */
54 padding: 10px 0px 10px 0px;
61 /* Contains the body text of the page */
63 padding: 0px 15px 0px 15px;
70 margin: 30px -15px 20px -15px;
72 border-bottom: 5px solid #000066;
77 margin: 20px -10px 20px -10px;
80 border-bottom: 2px solid #000066;
84 margin: 10px -5px 10px -5px;
85 border-bottom: 1px solid #000066;
88 border-left: 2px solid #ff0000;
93 /*font-size: larger;*/
96 margin: -15px -10px 0px 0px;
98 background: transparent;
112 border: 2px solid #000066;
113 margin: 15px 0px 15px 0px;
115 #cvslog div.logitemfirst {
117 padding: 5px 0px 5px 0px;
120 #cvslog div.logitem {
122 padding: 5px 0px 5px 0px;
124 border-top: 1px dashed #000066;
132 #cvslog a.cvsloghead {
144 /* All images have no border */
149 /* For when we want to hide something to CSS browsers */