Added options to make Robodoc more customizable.
[robodoc.git] / Docs / manual.css
1 body
2 {
3     background-color: #ffffff;
4     color: #000000;
5     font-family: 'Lucida Grande', Verdana, 
6                      Geneva, Lucida, Arial, 
7                      Helvetica, sans-serif;
8     font-size: 10pt;
9     margin: 2% 5%;
10 }
11 h1.title
12 {
13     color: #000000;
14     text-align: left;
15     font-size: 16pt;
16     margin-top: 10%;
17 }
18
19 h2.title
20 {
21     color: #000000;
22     text-align: left;
23     font-size: 14pt;
24     margin-top: 3%;
25 }
26 h3.title
27 {
28     color: #000000;
29     text-align: left;
30     font-size: 11pt;
31     margin-top: 3%;
32 }
33
34 h3.author
35 {
36     color: #000000;
37     text-align: left;
38     font-size: 10pt;
39 }
40 td.even, td.uneven
41 {
42     color: #000000;
43     font-size: 10pt;
44 }
45 td.even
46 {
47     background-color: #eeeeee;
48 }
49 pre.programlisting, pre.literallayout
50 {
51     background:#ffe;
52     font-family: monospace;
53     border:solid #aa9 2px;
54     margin:4px;
55     white-space: pre;
56 }
57