blob: e8d98ddb2e59980078a3b45358828b588c9156c2 (
plain)
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
94
95
96
97
98
99
100
101
102
103
|
body {
margin:0px;
padding:0px;
font-family:verdana, arial, helvetica, sans-serif;
color:#333;
background-color:white;
}
pre {
background: #eeeeee;
border: 1px solid #888888;
color: black;
padding: 1em;
white-space: pre;
}
h1 {
margin:5px 0px 5px 0px;
padding:0px;
font-size:20px;
line-height:28px;
font-weight:900;
color:#44f;
}
h2 {
margin:5px 0px 5px 0px;
padding:0px;
font-size:17px;
line-height:28px;
font-weight:900;
color:#226;
}
h3 {
margin:5px 0px 5px 0px;
padding:0px;
font-size:15px;
line-height:28px;
font-weight:900;
}
p
{
margin:0px 0px 16px 0px;
font:11px/20px verdana, arial, helvetica, sans-serif;
padding:0px;
}
table
{
font-size: 10pt;
color: #000000;
}
td{border:1px solid #999;}
table.pymenu {color: #000000; background-color: #99ccff}
th.pymenu {color: #ffffff; background-color: #003366}
.code
{
font-family: "Lucida Console", monospace; font-weight: bold;
color: #007700; background-color: #eeeeee
}
#Content>p {margin:0px;}
#Content>p+p {text-indent:30px;}
a {
text-decoration:none;
font-weight:600;
font-family:verdana, arial, helvetica, sans-serif;
color: #900;
}
//a:link {color:#09c;}
//a x:visited {color:#07a;}
a:hover {background-color:#ee0;}
#Header {
margin:10px 0px 10px 0px;
padding:10px 0px 10px 20px;
/* For IE5/Win's benefit height = [correct height] + [top padding] + [top and bottom border widths] */
height:33px; /* 14px + 17px + 2px = 33px */
border-style:solid;
border-color:black;
border-width:1px 0px; /* top and bottom borders: 1px; left and right borders: 0px */
line-height:33px;
background-color:#eee;
height:66px; /* the correct height */
}
#Content {
margin:0px 210px 50px 10px;
padding:10px;
}
#Menu {
position:absolute;
top:100px;
right:20px;
width:172px;
padding:10px;
background-color:#eee;
border:1px solid #999; // dashed #999;
line-height:17px;
width:150px;
font-size:11px;
}
|
