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;
38 margin: 10px 0px 10px 0px;
46 padding: 5px 0px 5px 0px;
51 /* Contains the main page - including header and footer */
58 /* Contains the header */
64 /* Contains the footer */
66 padding: 60px 0px 5px 0px;
73 /* Contains the body text of the page */
75 padding: 0px 15px 0px 15px;
82 margin: 30px -15px 20px -15px;
84 border-bottom: 5px solid #000066;
90 margin: 20px -10px 20px -10px;
93 border-bottom: 2px solid #000066;
97 margin: 10px -5px 10px -5px;
98 border-bottom: 1px solid #000066;
101 border-left: 2px solid #ff0000;
106 /*font-size: larger;*/
109 margin: -15px -10px 0px 0px;
112 background: transparent;
126 border: 2px solid #000066;
127 margin: 15px 0px 15px 0px;
129 #cvslog div.logitemfirst {
131 padding: 5px 0px 5px 0px;
134 #cvslog div.logitem {
136 padding: 5px 0px 5px 0px;
138 border-top: 1px dashed #000066;
146 #cvslog a.cvsloghead {
158 /* All images have no border */
163 /* For when we want to hide something to CSS browsers */