Use CHECK-NEXT.
[llvm/stm8.git] / docs / CommandGuide / manpage.css
blobc922564dc3c38ea3f00a32e4424b63dd7b350210
1 /* Based on http://www.perldoc.com/css/perldoc.css */
3 @import url("../llvm.css");
5 body { font-family: Arial,Helvetica; }
7 blockquote { margin: 10pt; }
9 h1, a { color: #336699; }
12 /*** Top menu style ****/
13 .mmenuon {
14 font-family: Arial,Helvetica; font-weight: bold; text-decoration: none;
15 color: #ff6600; font-size: 10pt;
17 .mmenuoff {
18 font-family: Arial,Helvetica; font-weight: bold; text-decoration: none;
19 color: #ffffff; font-size: 10pt;
21 .cpyright {
22 font-family: Arial,Helvetica; font-weight: bold; text-decoration: none;
23 color: #ffffff; font-size: xx-small;
25 .cpyrightText {
26 font-family: Arial,Helvetica; font-weight: bold; text-decoration: none;
27 color: #ffffff; font-size: xx-small;
29 .sections {
30 font-family: Arial,Helvetica; font-weight: bold; text-decoration: none;
31 color: #336699; font-size: 11pt;
33 .dsections {
34 font-family: Arial,Helvetica; font-weight: bold; text-decoration: none;
35 color: #336699; font-size: 12pt;
37 .slink {
38 font-family: Arial,Helvetica; font-weight: normal; text-decoration: none;
39 color: #000000; font-size: 9pt;
42 .slink2 { font-family: Arial,Helvetica; text-decoration: none; color: #336699; }
44 .maintitle {
45 font-family: Arial,Helvetica; font-weight: bold; text-decoration: none;
46 color: #336699; font-size: 18pt;
48 .dblArrow {
49 font-family: Arial,Helvetica; font-weight: bold; text-decoration: none;
50 color: #336699; font-size: small;
52 .menuSec {
53 font-family: Arial,Helvetica; font-weight: bold; text-decoration: none;
54 color: #336699; font-size: small;
57 .newstext {
58 font-family: Arial,Helvetica; font-size: small;
61 .linkmenu {
62 font-family: Arial,Helvetica; color: #000000; font-weight: bold;
63 text-decoration: none;
66 P {
67 font-family: Arial,Helvetica;
70 PRE {
71 font-size: 10pt;
73 .quote {
74 font-family: Times; text-decoration: none;
75 color: #000000; font-size: 9pt; font-style: italic;
77 .smstd { font-family: Arial,Helvetica; color: #000000; font-size: x-small; }
78 .std { font-family: Arial,Helvetica; color: #000000; }
79 .meerkatTitle {
80 font-family: sans-serif; font-size: x-small; color: black; }
82 .meerkatDescription { font-family: sans-serif; font-size: 10pt; color: black }
83 .meerkatCategory {
84 font-family: sans-serif; font-size: 9pt; font-weight: bold; font-style: italic;
85 color: brown; }
86 .meerkatChannel {
87 font-family: sans-serif; font-size: 9pt; font-style: italic; color: brown; }
88 .meerkatDate { font-family: sans-serif; font-size: xx-small; color: #336699; }
90 .tocTitle {
91 font-family: Arial,Helvetica; font-weight: bold; text-decoration: none;
92 color: #333333; font-size: 10pt;
95 .toc-item {
96 font-family: Arial,Helvetica; font-weight: bold;
97 color: #336699; font-size: 10pt; text-decoration: underline;
100 .perlVersion {
101 font-family: Arial,Helvetica; font-weight: bold;
102 color: #336699; font-size: 10pt; text-decoration: none;
105 .podTitle {
106 font-family: Arial,Helvetica; font-weight: bold; text-decoration: none;
107 color: #000000;
110 .docTitle {
111 font-family: Arial,Helvetica; font-weight: bold; text-decoration: none;
112 color: #000000; font-size: 10pt;
114 .dotDot {
115 font-family: Arial,Helvetica; font-weight: bold;
116 color: #000000; font-size: 9pt;
119 .docSec {
120 font-family: Arial,Helvetica; font-weight: normal;
121 color: #333333; font-size: 9pt;
123 .docVersion {
124 font-family: Arial,Helvetica; font-weight: bold; text-decoration: none;
125 color: #336699; font-size: 10pt;
128 .docSecs-on {
129 font-family: Arial,Helvetica; font-weight: normal; text-decoration: none;
130 color: #ff0000; font-size: 10pt;
132 .docSecs-off {
133 font-family: Arial,Helvetica; font-weight: normal; text-decoration: none;
134 color: #333333; font-size: 10pt;
137 h2 {
138 font-family: Arial,Helvetica; font-weight: bold; text-decoration: none;
139 color: #336699; font-size: medium;
141 h1 {
142 font-family: Verdana,Arial,Helvetica; font-weight: bold; text-decoration: none;
143 color: #336699; font-size: large;
146 DL {
147 font-family: Arial,Helvetica; font-weight: normal; text-decoration: none;
148 color: #333333; font-size: 10pt;
151 UL > LI > A {
152 font-family: Arial,Helvetica; font-weight: bold;
153 color: #336699; font-size: 10pt;
156 .moduleInfo {
157 font-family: Arial,Helvetica; font-weight: bold; text-decoration: none;
158 color: #333333; font-size: 11pt;
161 .moduleInfoSec {
162 font-family: Arial,Helvetica; font-weight: bold; text-decoration: none;
163 color: #336699; font-size: 10pt;
166 .moduleInfoVal {
167 font-family: Arial,Helvetica; font-weight: normal; text-decoration: underline;
168 color: #000000; font-size: 10pt;
171 .cpanNavTitle {
172 font-family: Arial,Helvetica; font-weight: bold;
173 color: #ffffff; font-size: 10pt;
175 .cpanNavLetter {
176 font-family: Arial,Helvetica; font-weight: bold; text-decoration: none;
177 color: #333333; font-size: 9pt;
179 .cpanCat {
180 font-family: Arial,Helvetica; font-weight: bold; text-decoration: none;
181 color: #336699; font-size: 9pt;
184 .bttndrkblue-bkgd-top {
185 background-color: #225688;
186 background-image: url(/global/mvc_objects/images/bttndrkblue_bgtop.gif);
188 .bttndrkblue-bkgd-left {
189 background-color: #225688;
190 background-image: url(/global/mvc_objects/images/bttndrkblue_bgleft.gif);
192 .bttndrkblue-bkgd {
193 padding-top: 0px;
194 padding-bottom: 0px;
195 margin-bottom: 0px;
196 margin-top: 0px;
197 background-repeat: no-repeat;
198 background-color: #225688;
199 background-image: url(/global/mvc_objects/images/bttndrkblue_bgmiddle.gif);
200 vertical-align: top;
202 .bttndrkblue-bkgd-right {
203 background-color: #225688;
204 background-image: url(/global/mvc_objects/images/bttndrkblue_bgright.gif);
206 .bttndrkblue-bkgd-bottom {
207 background-color: #225688;
208 background-image: url(/global/mvc_objects/images/bttndrkblue_bgbottom.gif);
210 .bttndrkblue-text a {
211 color: #ffffff;
212 text-decoration: none;
214 a.bttndrkblue-text:hover {
215 color: #ffDD3C;
216 text-decoration: none;
218 .bg-ltblue {
219 background-color: #f0f5fa;
222 .border-left-b {
223 background: #f0f5fa url(/i/corner-leftline.gif) repeat-y;
226 .border-right-b {
227 background: #f0f5fa url(/i/corner-rightline.gif) repeat-y;
230 .border-top-b {
231 background: #f0f5fa url(/i/corner-topline.gif) repeat-x;
234 .border-bottom-b {
235 background: #f0f5fa url(/i/corner-botline.gif) repeat-x;
238 .border-right-w {
239 background: #ffffff url(/i/corner-rightline.gif) repeat-y;
242 .border-top-w {
243 background: #ffffff url(/i/corner-topline.gif) repeat-x;
246 .border-bottom-w {
247 background: #ffffff url(/i/corner-botline.gif) repeat-x;
250 .bg-white {
251 background-color: #ffffff;
254 .border-left-w {
255 background: #ffffff url(/i/corner-leftline.gif) repeat-y;