c35583e1512986b84067154d1878fd863a8d68ca
1 /* insert your CSS customisations below */
4 background-color: #fff;
10 border: 1px solid
#69c;
15 #header .logo
{ display: none
; }
16 #header .titlebar
{ margin: 0px; }
17 #header .site
{ font-size: 20pt !important
; letter-spacing: 0px }
18 #header .page
{ color: #690; font-size: 20pt !important
}
20 #header .page:before
{ content: ' [ '; }
21 #header .page:after
{ content: ' ] '; }
25 font-family: "Trebuchet MS",Verdana
,Geneva
,Arial
,Helvetica
,sans-serif
;
30 border: 1px solid
#69c;
34 font-family: "Trebuchet MS",Verdana
,Geneva
,Arial
,Helvetica
,sans-serif
;
36 border: 1px solid
#69c;
38 padding: 0em 1em 1em 1em;
39 margin: 1em 1em 1em 15em;
42 #main p { padding: 0px; margin: 1ex 1em; text-align: justify
}
43 #main ul { margin: 1ex 1em; }
44 #main li { margin-top: 1ex; margin-bottom: 1ex; text-align: justify
}
49 border-bottom: 2px solid
#369;
51 margin: 2em 0em 1em 0em;
57 margin: 1em 0em 0.5em 0em;
60 border-bottom: 1px dotted
#369;
63 #main a:link, #main
a:visited
{ color: #f60; background: transparent
; }
64 #main a:active
, #main
a:hover
{ color: #369; background: transparent
; }
67 background-color: #99aabb;
73 background: transparent
;
78 background: transparent
;
83 background: transparent
;
84 border: 1px dotted
#fff;
89 font-family: Bitstream Vera Sans
,Verdana
,sans-serif
;
90 text-decoration: none
;
94 .menu .item a.top, .menu .item a.top:hover {
96 background: transparent
;
100 border-bottom: 3px solid
#f90;
101 text-transform: uppercase
;
109 background: transparent
;
112 .menu .item a:hover {
115 border: 1px dotted
#690;
118 .menu .item a.top[href]:hover {
120 background: transparent
;
124 border-bottom: 3px solid
#000;
127 /* table class 'light' */
129 border-collapse: collapse
;
132 border: 1px solid
#a2c2e1;
141 table.light
tr.even
{
152 vertical-align: middle
;
159 border: 1px dotted
#2050a0;
161 font-family: monospaced
;
172 tt { font-size: 10pt; }
174 li > code, p > code, tt.code {
176 border: 1px dotted
#2050a0;
179 padding: 0 2px 0 2px;
185 font-family: georgia
;