Merge branch 'master' of git.distorted.org.uk:~mdw/publish/public-git/disorder
[disorder] / docs.css
1 body {
2 color: black;
3 background-color: white;
4 font-family: times,serif;
5 font-weight: normal;
6 font-size: 12pt;
7 font-variant: normal
8 }
9
10 div.section {
11 margin-left:1em
12 }
13
14 h1 {
15 background-color: #e0ffe0;
16 font-family: helvetica,sans-serif;
17 padding: 0.2em
18 }
19
20 h2 {
21 background-color: #e0ffe0;
22 font-family: helvetica,sans-serif;
23 padding: 0.2em
24 }
25
26 h3 {
27 background-color: #f0f0f0;
28 font-family: helvetica,sans-serif;
29 padding: 0.2em
30 }
31
32 h4 {
33 font-family: helvetica,sans-serif
34 }
35
36 table.bugs {
37 width: 100%;
38 font-size: 12pt;
39 border-collapse: collapse;
40 border:1px
41 }
42
43 table.bugs th {
44 text-align: left;
45 border: 1px solid black;
46 background-color: black;
47 color: white
48 }
49
50 table.bugs td {
51 border: 1px solid
52 }
53
54 span.command {
55 font-family: monospace
56 }