4 font-family: sans-serif;
10 /* Contains the entire of the page */
15 /* Contains the menu */
24 border-right: 1px solid #000066;
25 border-bottom: 1px solid #000066;
39 padding: 5px 0px 5px 0px;
47 /* Contains the main page - including header and footer */
54 /* Contains the header */
60 /* Contains the footer */
62 padding: 60px 0px 5px 0px;
69 /* Contains the body text of the page */
71 padding: 0px 15px 0px 15px;
78 margin: 30px -15px 20px -15px;
80 border-bottom: 5px solid #000066;
86 margin: 20px -10px 20px -10px;
89 border-bottom: 2px solid #000066;
93 margin: 10px -5px 10px -5px;
94 border-bottom: 1px solid #000066;
97 border-left: 2px solid #ff0000;
102 /*font-size: larger;*/
105 margin: -15px -10px 0px 0px;
108 background: transparent;
122 border: 2px solid #000066;
123 margin: 15px 0px 15px 0px;
125 #cvslog div.logitemfirst {
127 padding: 5px 0px 5px 0px;
130 #cvslog div.logitem {
132 padding: 5px 0px 5px 0px;
134 border-top: 1px dashed #000066;
142 #cvslog a.cvsloghead {
154 /* All images have no border */
159 /* For when we want to hide something to CSS browsers */