projects
/
robodoc.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
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