/docs/style.css

 1* {
 2    line-height: 150%;
 3/*    font-size: 12pt;*/
 4    border-style:none; 
 5    font-family: verdana, helvetica; 
 6/*    margin: 1em; */
 7}
 8
 9/* Links */
10a:link {color: red; text-decoration:none}     /* unvisited link */
11a:visited {color: red; text-decoration:none}  /* visited link */
12a:hover {color: blue; background: yellow; text-decoration:none}   /* mouse over link */
13a:active {color: grey}   /* selected link */
14
15p,pre {
16  line-height: 1.5em 
17}
18
19h1 { 
20  background-color: #223322;
21  Color: white;
22  padding: 5px;
23  padding-left: 20px;
24  margin-left: -20px;
25  margin-right: -20px;
26/*  font-size: 15pt;*/
27}
28
29
30pre {font-family: Monaco, Courier New, Courier; font-size:80%}
31code {font-family: Monaco, Courier New, Courier; font-size:80%}
32
33p code {margin: 5px}