• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1/*
2color:#ffffff;   white
3color:#e0e0e0;   light gray
4color:#f8f8f8;   light gray
5color:#003366;   dark blue
6color:#555555;   gray
7color:#ff9933;   light orange
8color:#cc3300;   red/brown/orange
9color:#660066;   purple
10color:#669900;   green
11*/
12
13a {
14	color:#003366;
15	text-decoration:underline;
16}
17
18a:hover {
19	color:#ff9933;
20}
21
22body {
23	font-family: verdana, tahoma, helvetica, arial, sans-serif;
24	font-size: 90%;
25	background-color:#ffffff;
26	margin: 1em;
27}
28
29pre {
30	font-family: courier, serif;
31	background-color:#f8f8f8;
32	margin: 1.5em;
33	font-size:90%;
34}
35
36ul {
37	list-style: circle outside;
38	font-stretch:extra-expanded;
39/*	font-size:90%;*/
40}
41
42ul.menu { /* inherits from ul */
43	padding-left: 1em;
44}
45
46
47em {
48	color:#FF7700;
49	font-size:110%;
50}
51
52h1,h2,h3{
53	color:#FF7700;
54}
55
56h1 {
57	border-color:#d0d0d0;
58	border-style:solid;
59	border-width:1px;
60	font-weight:bold;
61	padding: 0.2em;
62	background-color:#f8f8f8
63}
64
65h2 {
66	font-size:120%;
67	font-weight:bold;
68	border-bottom-style:solid;
69	border-bottom-width:1px;
70	border-bottom-color:#d0d0d0;
71}
72
73h3 {
74	font-size:110%;
75	font-weight:bold;
76	font-style:italic;
77}
78
79tt {
80	font-family: courier, serif;
81}
82
83tt.classname {
84	font-weight:bold;
85}
86
87tt.constant {
88	font-weight:bold;
89}
90
91
92p {
93	line-height: 1.5em;
94}
95
96
97p.author {
98/*	line-height: 0.5em; */
99	font-size:70%;
100}
101
102
103div.links{
104	float: left;
105	clear: left;
106	width: 12em;
107	background-color:#f8f8f8;
108	border-style:solid;
109	border-width:1px;
110	border-color:#d0d0d0;
111	margin-bottom: 0.5em;
112	padding: 0.5em 0.5em 0.5em 0.5em;
113	margin: 0.5em 0.5em 0em 0em;
114}
115
116div.main{
117	border-style:solid;
118	border-width:1px;
119	border-color:#d0d0d0;
120	margin: 0.5em 0em 0.5em 14em;
121	padding: 0.5em 0.5em 0.5em 0.5em;
122}
123
124div.by{
125	line-height: 0.5em;
126	border-width:1px;
127	border-color:#d0d0d0;
128	margin: 0.5em 0em 0.5em 14em;
129	padding: 0.5em 0.5em 0.5em 0.5em;
130}
131
132