test-tool: Document the -t command line option.
[libguestfs.git] / html / pod.css
1 /* CSS to make pod2html files look a little bit better. */
2
3 body {
4   margin-left: 4em;
5 }
6
7 body p, body ul, ol, body dl {
8   margin-left: 2em;
9   width: 31em;
10 }
11
12 pre {
13   width: 31em;
14 }
15
16 li {
17   padding-bottom: 0.5em;
18 }
19
20 /* Code sections. */
21
22 pre {
23   background-color: #f8f8f8;
24   color: rgb(204,0,0);
25   font-weight: 550;
26   border-left: 6px solid rgb(204,64,64);
27   padding: 6px;
28   margin-left: 1em;
29   font-size: 120%;
30 }
31
32 /* Bold, italic in man pages. */
33 b, strong {
34   color: rgb(204,0,0);
35 }
36
37 i, em {
38   color: rgb(204,0,0);
39 }
40
41 /* Name heading. */
42
43 body > h1:first-of-type {
44   display: none;
45 }
46
47 body > h1:first-of-type + p {
48   font-size: 125%;
49   font-weight: bold;
50   color: rgb(204,0,0);
51   margin-left: -32px;
52 }
53
54 /* Warning heading in man pages. */
55 a[name="warning"] {
56   -moz-border-radius-topleft: 5px;
57   -moz-border-radius-topright: 5px;
58   border-radius-topleft: 5px;
59   border-radius-topright: 5px;
60
61   color: white;
62   background-color: rgb(204,0,0);
63 }
64 a[name="warning"]:before {
65   content: "\00a0\00a0\00a0";
66 }
67 a[name="warning"]:after {
68   content: "\00a0\00a0\00a0";
69 }
70
71 /* Put the index on the right hand side in a floating box. */
72 div[name="index"] {
73     float: right;
74     width: 18em;
75     border-left: 3em solid white;
76     background-color: #fcfcfc;
77     margin-top: 32px;
78     padding-top: 0px;
79     margin-left: 1em;
80     padding-left: 1em;
81     padding-right: 1em;
82     font-size: 90%;
83 }
84
85 div[name="index"] a[href] {
86     text-decoration: none;
87 }
88
89 div[name="index"] a[href]:hover {
90     text-decoration: underline;
91 }
92
93 div[name="index"] a[href]:before {
94     content: '#\00a0';
95     color: rgb(204,0,0);
96     font-size: x-small;
97 }
98
99 div[name="index"] > ul {
100     width: 17em;
101     list-style: none;
102     margin-left: 0px;
103     margin-right: 0px;
104     padding-left: 0px;
105     padding-right: 0px;
106 }
107
108 div[name="index"] > ul > li {
109     margin-bottom: 0.5em;
110 }
111
112 div[name="index"] > ul ul {
113     width: 16em;
114     list-style: none;
115     margin-left: 0px;
116     margin-right: 0px;
117     padding-left: 0px;
118     padding-right: 0px;
119     margin-bottom: 0.5em;
120 }
121
122 div[name="index"] > ul > ul li {
123     display: inline;
124     margin-right: 1em;
125 }
126
127 /*
128 div[name="index"] > ul > ul li:after {
129     color: #ccc;
130     content: '\2014';
131 }
132 */
133
134 /* Get rid of those horrible <hr>'s :-( */
135 hr { display: none; }
136
137 /* Demote <h1>'s and set rest of headers relative. */
138 h1 {
139     font-size: 100%;
140     color: black;
141     border-bottom: solid 1px rgb(204,0,0);
142 }
143
144 h2 {
145     font-size: 95%;
146     border-bottom: none;
147 }
148
149 h3 {
150     font-size: 90%;
151 }
152
153 h4 {
154     font-size: 85%;
155 }