blob: 986950f67b292f234c39af78831d43cc3badfc98 (
plain) (
blame)
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
104
|
table
{
background-color: black;
}
td
{
background-color: white;
}
h1
{
font-family: "Verdana";
font-weight: bold;
font-size: 120%;
margin-bottom:0;
color: #990;
}
tr.closed td
{
background-color: #ccc;
}
a:visited, a:link
{
color: #990;
text-decoration: None;
}
td a:visited, td a:link
{
display: block;
}
a:visited:hover, a:link:hover
{
text-decoration: underline;
}
td a:visited:hover, td a:link:hover
{
color:black;
background-color:#dda;
text-decoration: None;
display: block;
}
body
{
font-family: "Verdana";
font-size:11pt;
background-color: white;
}
.comment
{
}
.comment table
{
background-color: transparent;
}
.comment td
{
background-color: transparent;
}
.comment pre
{
font-family: "Verdana";
}
#header
{
color: black;
font-weight: bold;
background-image: url(/static/images/half-spiral.png);
background-position: right center;
background-repeat: no-repeat;
background-color: #ff0;
}
#header ul.navoption
{
display: block;
float: right;
margin: 0;
padding-right: 30px;
}
#header li
{
display: inline;
margin:0;
padding:0;
}
table.insetbox
{
margin-top: 0.5em;
margin-bottom: 0.5em;
}
.insetbox tr, .insetbox td
{
margin: 0;
padding: 0;
}
pre.traceback
{
font-family: Verdana, Ariel, Helvetica, sanserif;
}
tr.even td
{
background-color: #eee;
}
|
