Made run!'s first argument optional (defaults to *suite*)
[fiveam.git] / src / style.css
1 body {
2   background-color: #FFFFFF;
3   color: #000000;
4   padding: 0px; margin: 0px;
5 }
6
7 .qbook { width: 600px; background-color: #FFFFFF; margin: 0px; 
8          border-left: 3em solid #660000; padding: 3px; }
9
10 h1 { text-align: center; margin: 0px;
11      color: #333333; 
12      border-bottom: 0.3em solid #660000; 
13 }
14
15 p { padding-left: 1em; }
16
17 h2 { border-bottom: 0.2em solid #000000; font-family: verdana; }
18
19 h3 { border-bottom: 0.1em solid #000000; }
20
21 pre.code {
22         background-color: #eeeeee;
23         border: solid 1px #d0d0d0;
24         overflow: auto;
25 }
26
27 pre.code * .paren { color: #666666; } 
28
29 pre.code a:active  { color: #000000; }
30 pre.code a:link    { color: #000000; }
31 pre.code a:visited { color: #000000; }
32
33 pre.code .first-line { font-weight: bold; }
34
35 div.contents { font-family: verdana; }
36
37 div.contents a:active  { color: #000000; }
38 div.contents a:link    { color: #000000; }
39 div.contents a:visited { color: #000000; }
40
41 div.contents div.contents-heading-1 { padding-left: 0.5em; font-weight: bold; }
42 div.contents div.contents-heading-1 a:active  { color: #660000; }
43 div.contents div.contents-heading-1 a:link    { color: #660000; }
44 div.contents div.contents-heading-1 a:visited { color: #660000; }
45
46 div.contents div.contents-heading-2 { padding-left: 1.0em; }
47 div.contents div.contents-heading-2 a:active  { color: #660000; }
48 div.contents div.contents-heading-2 a:link    { color: #660000; }
49 div.contents div.contents-heading-2 a:visited { color: #660000; }
50
51 div.contents div.contents-heading-3 { padding-left: 1.5em; }
52 div.contents div.contents-heading-3 a:active  { color: #660000; }
53 div.contents div.contents-heading-3 a:link    { color: #660000; }
54 div.contents div.contents-heading-3 a:visited { color: #660000; }
55
56 div.contents div.contents-heading-4 { padding-left: 2em; }
57 div.contents div.contents-heading-4 a:active  { color: #660000; }
58 div.contents div.contents-heading-4 a:link    { color: #660000; }
59 div.contents div.contents-heading-4 a:visited { color: #660000; }
60
61 div.contents div.contents-heading-5 { padding-left: 2.5em; }
62 div.contents div.contents-heading-5 a:active  { color: #660000; }
63 div.contents div.contents-heading-5 a:link    { color: #660000; }
64 div.contents div.contents-heading-5 a:visited { color: #660000; }