1/* This is the default style sheet placed at the top of XHTML output.
2   If you declare your own style sheet, you don't get the default one,
3   so you might like to use this one as a starting point. */
4/* If you make a good style sheet and want to share it, please send it to me!*/
5h2 {
6	background-color: #A0C0F0;
7	width: 98%;
8	padding: 3px 6px;
9}
10table {
11	text-align: right;
12	margin-left: 30px;
13	background-color: #D0E0F0;
14        border-collapse: collapse;
15}
16th {
17	border-bottom: 1px solid #404050;
18	border-right: 1px dotted #606070;
19        border-top: none;
20        border-left: none;
21	padding: 0px 5px 1px 5px;
22	font-weight: bold;
23	background-color: #A0C0F0;
24}
25td {
26	padding: 0px 5px 1px 5px;
27	border-right: 1px dotted #606070;
28        border-left: none;
29        border-bottom: none;
30        border-top: none;
31}
32td.x {
33	font-family: monospace;
34        white-space: pre;
35}
36.xl {
37	text-align: left;
38	border-right: none;
39}
40.xr {
41	text-align: right;
42	border-right: none;
43}
44.bar {
45	text-align: left;
46	border-right: none;
47}
48tr.sub {background-color: #C0C0FF;
49	font-style: italic;
50}
51.repdesc {
52	font-style: italic;
53}
54.repspan {
55	font-style: italic;
56}
57.goto {
58	font-size: small;
59}
60.gensumtitle {
61	font-weight: bold;
62}
63.gototitle {
64	font-weight: bold;
65}
66.runtimetitle {
67	font-weight: bold;
68}
69img {
70	border-style: none;
71}
72a:link {
73	color: blue;
74	text-decoration: none;
75}
76a:visited {
77	color: purple;
78	text-decoration: none;
79}
80a:link:hover {
81	text-decoration: underline;
82}
83a:visited:hover {
84	text-decoration: underline;
85}
86a:link:active {
87	color: red;
88	text-decoration: underline;
89}
90a:visited:active {
91	color: red;
92	text-decoration: underline;
93}
94