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
92
93
|
body {
margin:0px;
padding:0px;
font-family:verdana, arial, helvetica, sans-serif;
color:#333;
background-color:white;
}
h1 {
margin:0px 0px 15px 0px;
padding:0px;
font-size:20px;
line-height:28px;
font-weight:900;
color:#09c;
}
h2 { font-size:16px; }
h2 { font-size:14px; }
p { font:verdana, arial, helvetica, sans-serif;
margin:0px 0px 16px 0px;
padding:0px;
}
a { color:#09c;
font-weight:200;
font-family:verdana, arial, helvetica, sans-serif;
}
a:link {color:#02c;}
a:visited {color:#59c;}
.title {
margin:10px 10px 10px 0px;
padding:17px 0px 5px 0px;
height:39px; /* 14px + 17px + 2px = 33px */
border-style:solid;
border-color:black;
border-width:1px 0px;
font-size:36px;
line-height:11px;
background-color:#eee;
voice-family: "\"}\"";
voice-family:inherit;
height:20px; /* the correct height */
}
body>#Header {height:14px;}
.document {
margin:0px 50px 50px 150px;
padding:10px;
}
.warning {
# margin:0px 50px 50px 200px;
padding:10px;
background-color:red;
}
.doctest-block {
font:verdana, arial, helvetica, sans-serif;
# border-style:solid;
# border-color:black;
border:1px solid #999;
background-color:#eee;
}
.literal-block {
# font:verdana, arial, helvetica, sans-serif;
# font-family: "Courier New",Courier, monospace;
font-size: 100%;
background-color:white;
}
.menu {
position:absolute;
top:60px;
left:10px;
padding:10px;
background-color:#eee;
border:1px solid #999;
line-height:17px;
voice-family: "\"}\"";
voice-family:inherit;
width:100px;
}
|
