• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1
2body {
3	margin:0px;
4	padding:0px;
5	font-family:verdana, arial, helvetica, sans-serif;
6	color:#333;
7	background-color:white;
8	}
9pre {
10  background: #eeeeee;
11  border: 1px solid #888888;
12  color: black;
13  padding: 1em;
14  white-space: pre;
15}
16h1 {
17	margin:5px 0px 5px 0px;
18	padding:0px;
19	font-size:20px;
20	line-height:28px;
21	font-weight:900;
22	color:#44f;
23	}
24h2 {
25	margin:5px 0px 5px 0px;
26	padding:0px;
27	font-size:17px;
28	line-height:28px;
29	font-weight:900;
30	color:#226;
31	}
32h3 {
33	margin:5px 0px 5px 0px;
34	padding:0px;
35	font-size:15px;
36	line-height:28px;
37	font-weight:900;
38	}
39p
40{
41	margin:0px 0px 16px 0px;
42	font:11px/20px verdana, arial, helvetica, sans-serif;
43	padding:0px;
44}
45table
46{
47    font-size: 10pt;
48	color: #000000;
49}
50td{border:1px solid #999;}
51
52table.pymenu {color: #000000; background-color: #99ccff}
53th.pymenu {color: #ffffff; background-color: #003366}
54
55.code
56{
57	font-family: "Lucida Console", monospace; font-weight: bold;
58	color: #007700; background-color: #eeeeee
59}
60
61#Content>p {margin:0px;}
62#Content>p+p {text-indent:30px;}
63
64a {
65	text-decoration:none;
66	font-weight:600;
67	font-family:verdana, arial, helvetica, sans-serif;
68	color: #900;
69}
70//a:link {color:#09c;}
71//a x:visited {color:#07a;}
72a:hover {background-color:#ee0;}
73
74#Header {
75	margin:10px 0px 10px 0px;
76	padding:10px 0px 10px 20px;
77	/* For IE5/Win's benefit height = [correct height] + [top padding] + [top and bottom border widths] */
78	height:33px; /* 14px + 17px + 2px = 33px */
79	border-style:solid;
80	border-color:black;
81	border-width:1px 0px; /* top and bottom borders: 1px; left and right borders: 0px */
82	line-height:33px;
83	background-color:#eee;
84	height:66px; /* the correct height */
85	}
86
87#Content {
88	margin:0px 210px 50px 10px;
89	padding:10px;
90	}
91
92#Menu {
93	position:absolute;
94	top:100px;
95	right:20px;
96	width:172px;
97	padding:10px;
98	background-color:#eee;
99	border:1px solid #999; // dashed #999;
100	line-height:17px;
101	width:150px;
102	font-size:11px;
103	}
104