doc/docs.css


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91

#topanchor {position:absolute;left:0px;top:0px;width:0px;height:0px;}
#pagecontrol {float:right;}

body { 
    font-family: Tahoma, Geneva, sans-serif;
    font-size:.90em;
    line-height:1.4em;
}

a { text-decoration: none; color:#2929ff;}
a:visited  { color: #2929ff;}
a:hover { color: #600060;}

h1 {
    font-size:1.6em;
    font-weight:bold;
}

h2 {
    font-size:1.1em;
    font-weight:bold;
    margin:10px 0px 10px 0px;
}

.topnav h3 {
    font-weight:normal;
    margin:0px 0px 0px 0px;
}

.prevnext {
    float:right;
}
.section {
    
}
.subsection {
    margin:0px 0px 0px 20px;
}

.topnav li {
    font-size:.9em;
    list-style-type:none;
}

.topnav ul {
    padding:0px 0px 0px 20px;
    margin:0px 0px 0px 0px;
}

.topnav .toolbar{
    margin:0px 0px 0px 0px;
    padding:0px 0px 0px 0px;
}
.topnav {
    background-color: #eee;
    border: 1px solid #ccc;
    padding:10px 10px 0px 10px;
    margin:0px 0px 10px 0px;
}

.smalllink {
    font-size:.80em;
}
code {
    font-size:1.2em;
}
.code {
    font-family:monospace;
}
p {
    /*margin:5px 20px 5px 10px;*/
}

li {
    margin:1px 0px 1px 0px;
}
td {
    font-size:small;
}

.section pre { 
    margin: 1.5em; 
    padding: .7em; 
    font-size: 1em; 
    line-height:1em;
    background-color: #eee;
    border: 1px solid #ccc;
    width:640px;
    overflow:auto;
}