Mercurial

comparison third_party/luajit/doc/bluequad.css @ 178:94705b5986b3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
[ThirdParty] Added WRK and luajit for load testing.
author MrJuneJune <me@mrjunejune.com>
date Thu, 22 Jan 2026 20:10:30 -0800
parents
children
comparison
equal deleted inserted replaced
177:24fe8ff94056 178:94705b5986b3
1 /* Copyright (C) 2004-2023 Mike Pall.
2 *
3 * You are welcome to use the general ideas of this design for your own sites.
4 * But please do not steal the stylesheet, the layout or the color scheme.
5 */
6 /* colorscheme:
7 *
8 * site | head #4162bf/white | #6078bf/#e6ecff
9 * ------+------ ----------------+-------------------
10 * nav | main #bfcfff | #e6ecff/black
11 *
12 * nav: hiback loback #c5d5ff #b9c9f9
13 * hiborder loborder #e6ecff #97a7d7
14 * link hover #2142bf #ff0000
15 *
16 * link: link visited hover #2142bf #8122bf #ff0000
17 *
18 * main: boxback boxborder #f0f4ff #bfcfff
19 */
20 body {
21 font-family: Verdana, Arial, Helvetica, sans-serif;
22 font-size: 10pt;
23 margin: 0;
24 padding: 0;
25 border: none;
26 background: #e0e0e0;
27 color: #000000;
28 }
29 a:link {
30 text-decoration: none;
31 background: transparent;
32 color: #2142bf;
33 }
34 a:visited {
35 text-decoration: none;
36 background: transparent;
37 color: #8122bf;
38 }
39 a:hover, a:active {
40 text-decoration: underline;
41 background: transparent;
42 color: #ff0000;
43 }
44 h1, h2, h3 {
45 font-weight: bold;
46 text-align: left;
47 margin: 0.5em 0;
48 padding: 0;
49 background: transparent;
50 }
51 h1 {
52 font-size: 200%;
53 line-height: 3em; /* really 6em relative to body, match #site span */
54 margin: 0;
55 }
56 h2 {
57 font-size: 150%;
58 color: #606060;
59 }
60 h3 {
61 font-size: 125%;
62 color: #404040;
63 }
64 p {
65 max-width: 600px;
66 margin: 0 0 0.5em 0;
67 padding: 0;
68 }
69 b {
70 color: #404040;
71 }
72 ul, ol {
73 max-width: 600px;
74 margin: 0.5em 0;
75 padding: 0 0 0 2em;
76 }
77 ul {
78 list-style: outside square;
79 }
80 ol {
81 list-style: outside decimal;
82 }
83 li {
84 margin: 0;
85 padding: 0;
86 }
87 dl {
88 max-width: 600px;
89 margin: 1em 0;
90 padding: 1em;
91 border: 1px solid #bfcfff;
92 background: #f0f4ff;
93 }
94 dt {
95 font-weight: bold;
96 margin: 0;
97 padding: 0;
98 }
99 dt sup {
100 float: right;
101 margin-left: 1em;
102 color: #808080;
103 }
104 dt a:visited {
105 text-decoration: none;
106 color: #2142bf;
107 }
108 dt a:hover, dt a:active {
109 text-decoration: none;
110 color: #ff0000;
111 }
112 dd {
113 margin: 0.5em 0 0 2em;
114 padding: 0;
115 }
116 div.tablewrap { /* for IE *sigh* */
117 max-width: 600px;
118 }
119 table {
120 table-layout: fixed;
121 border-spacing: 0;
122 border-collapse: collapse;
123 max-width: 600px;
124 width: 100%;
125 margin: 1em 0;
126 padding: 0;
127 border: 1px solid #bfcfff;
128 }
129 tr {
130 margin: 0;
131 padding: 0;
132 border: none;
133 }
134 tr.odd {
135 background: #f0f4ff;
136 }
137 tr.separate td {
138 border-top: 1px solid #bfcfff;
139 }
140 td {
141 text-align: left;
142 margin: 0;
143 padding: 0.2em 0.5em;
144 border: none;
145 }
146 tt, code, kbd, samp {
147 font-family: Courier New, Courier, monospace;
148 line-height: 1.2;
149 font-size: 110%;
150 }
151 kbd {
152 font-weight: bolder;
153 }
154 blockquote, pre {
155 max-width: 600px;
156 margin: 1em 2em;
157 padding: 0;
158 }
159 pre {
160 line-height: 1.1;
161 }
162 pre.code {
163 line-height: 1.4;
164 margin: 0.5em 0 1em 0.5em;
165 padding: 0.5em 1em;
166 border: 1px solid #bfcfff;
167 background: #f0f4ff;
168 }
169 pre.mark {
170 padding-left: 2em;
171 }
172 span.codemark {
173 position:absolute;
174 left: 16em;
175 color: #4040c0;
176 }
177 span.mark {
178 color: #4040c0;
179 font-family: Courier New, Courier, monospace;
180 line-height: 1.1;
181 }
182 img {
183 border: none;
184 vertical-align: baseline;
185 margin: 0;
186 padding: 0;
187 }
188 img.left {
189 float: left;
190 margin: 0.5em 1em 0.5em 0;
191 }
192 img.right {
193 float: right;
194 margin: 0.5em 0 0.5em 1em;
195 }
196 .indent {
197 padding-left: 1em;
198 }
199 .flush {
200 clear: both;
201 visibility: hidden;
202 }
203 .hide, .noscreen {
204 display: none !important;
205 }
206 .ext {
207 color: #ff8000;
208 }
209 .note {
210 padding: 0.5em 1em;
211 border-left: 3px solid #bfcfff;
212 }
213 #site {
214 clear: both;
215 float: left;
216 width: 13em;
217 text-align: center;
218 font-weight: bold;
219 margin: 0;
220 padding: 0;
221 background: transparent;
222 color: #ffffff;
223 }
224 #site a {
225 font-size: 200%;
226 }
227 #site a:link, #site a:visited {
228 text-decoration: none;
229 font-weight: bold;
230 background: transparent;
231 color: #ffffff;
232 }
233 #site span {
234 line-height: 3em; /* really 6em relative to body, match h1 */
235 }
236 #logo {
237 color: #ffb380;
238 }
239 #head {
240 margin: 0;
241 padding: 0 0 0 2em;
242 border-left: solid 13em #4162bf;
243 border-right: solid 3em #6078bf;
244 background: #6078bf;
245 color: #e6ecff;
246 }
247 #nav {
248 clear: both;
249 float: left;
250 overflow: hidden;
251 text-align: left;
252 line-height: 1.5;
253 width: 13em;
254 padding-top: 1em;
255 background: transparent;
256 }
257 #nav ul {
258 list-style: none outside;
259 margin: 0;
260 padding: 0;
261 }
262 #nav li {
263 margin: 0;
264 padding: 0;
265 }
266 #nav a {
267 display: block;
268 text-decoration: none;
269 font-weight: bold;
270 margin: 0;
271 padding: 2px 1em;
272 border-top: 1px solid transparent;
273 border-bottom: 1px solid transparent;
274 background: transparent;
275 color: #2142bf;
276 }
277 #nav a:hover, #nav a:active {
278 text-decoration: none;
279 border-top: 1px solid #97a7d7;
280 border-bottom: 1px solid #e6ecff;
281 background: #b9c9f9;
282 color: #ff0000;
283 }
284 #nav a.current, #nav a.current:hover, #nav a.current:active {
285 border-top: 1px solid #e6ecff;
286 border-bottom: 1px solid #97a7d7;
287 background: #c5d5ff;
288 color: #2142bf;
289 }
290 #nav ul ul a {
291 padding: 0 1em 0 1.7em;
292 }
293 #nav ul ul ul a {
294 padding: 0 0.5em 0 2.4em;
295 }
296 #main {
297 line-height: 1.5;
298 text-align: left;
299 margin: 0;
300 padding: 1em 2em;
301 border-left: solid 13em #bfcfff;
302 border-right: solid 3em #e6ecff;
303 background: #e6ecff;
304 }
305 #foot {
306 clear: both;
307 font-size: 80%;
308 text-align: center;
309 margin: 0;
310 padding: 0.5em;
311 background: #6078bf;
312 color: #ffffff;
313 }
314 #foot a:link, #foot a:visited {
315 text-decoration: underline;
316 background: transparent;
317 color: #ffffff;
318 }
319 #foot a:hover, #foot a:active {
320 text-decoration: underline;
321 background: transparent;
322 color: #bfcfff;
323 }