FFI: Change ffi.load() library name resolution for Cygwin.
[luajit-2.0.git] / doc / bluequad.css
blobffd32019db641c86e959f56dfdbe94b73c8b158c
1 /* Copyright (C) 2004-2012 Mike Pall.
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:
8 * site | head #4162bf/white | #6078bf/#e6ecff
9 * ------+------ ----------------+-------------------
10 * nav | main #bfcfff | #e6ecff/black
12 * nav: hiback loback #c5d5ff #b9c9f9
13 * hiborder loborder #e6ecff #97a7d7
14 * link hover #2142bf #ff0000
16 * link: link visited hover #2142bf #8122bf #ff0000
18 * main: boxback boxborder #f0f4ff #bfcfff
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;
29 a:link {
30 text-decoration: none;
31 background: transparent;
32 color: #2142bf;
34 a:visited {
35 text-decoration: none;
36 background: transparent;
37 color: #8122bf;
39 a:hover, a:active {
40 text-decoration: underline;
41 background: transparent;
42 color: #ff0000;
44 h1, h2, h3 {
45 font-weight: bold;
46 text-align: left;
47 margin: 0.5em 0;
48 padding: 0;
49 background: transparent;
51 h1 {
52 font-size: 200%;
53 line-height: 3em; /* really 6em relative to body, match #site span */
54 margin: 0;
56 h2 {
57 font-size: 150%;
58 color: #606060;
60 h3 {
61 font-size: 125%;
62 color: #404040;
64 p {
65 max-width: 600px;
66 margin: 0 0 0.5em 0;
67 padding: 0;
69 b {
70 color: #404040;
72 ul, ol {
73 max-width: 600px;
74 margin: 0.5em 0;
75 padding: 0 0 0 2em;
77 ul {
78 list-style: outside square;
80 ol {
81 list-style: outside decimal;
83 li {
84 margin: 0;
85 padding: 0;
87 dl {
88 max-width: 600px;
89 margin: 1em 0;
90 padding: 1em;
91 border: 1px solid #bfcfff;
92 background: #f0f4ff;
94 dt {
95 font-weight: bold;
96 margin: 0;
97 padding: 0;
99 dt sup {
100 float: right;
101 margin-left: 1em;
102 color: #808080;
104 dt a:visited {
105 text-decoration: none;
106 color: #2142bf;
108 dt a:hover, dt a:active {
109 text-decoration: none;
110 color: #ff0000;
112 dd {
113 margin: 0.5em 0 0 2em;
114 padding: 0;
116 div.tablewrap { /* for IE *sigh* */
117 max-width: 600px;
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;
129 tr {
130 margin: 0;
131 padding: 0;
132 border: none;
134 tr.odd {
135 background: #f0f4ff;
137 tr.separate td {
138 border-top: 1px solid #bfcfff;
140 td {
141 text-align: left;
142 margin: 0;
143 padding: 0.2em 0.5em;
144 border: none;
146 tt, code, kbd, samp {
147 font-family: Courier New, Courier, monospace;
148 line-height: 1.2;
149 font-size: 110%;
151 kbd {
152 font-weight: bolder;
154 blockquote, pre {
155 max-width: 600px;
156 margin: 1em 2em;
157 padding: 0;
159 pre {
160 line-height: 1.1;
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;
169 img {
170 border: none;
171 vertical-align: baseline;
172 margin: 0;
173 padding: 0;
175 img.left {
176 float: left;
177 margin: 0.5em 1em 0.5em 0;
179 img.right {
180 float: right;
181 margin: 0.5em 0 0.5em 1em;
183 .indent {
184 padding-left: 1em;
186 .flush {
187 clear: both;
188 visibility: hidden;
190 .hide, .noscreen {
191 display: none !important;
193 .ext {
194 color: #ff8000;
196 #site {
197 clear: both;
198 float: left;
199 width: 13em;
200 text-align: center;
201 font-weight: bold;
202 margin: 0;
203 padding: 0;
204 background: transparent;
205 color: #ffffff;
207 #site a {
208 font-size: 200%;
210 #site a:link, #site a:visited {
211 text-decoration: none;
212 font-weight: bold;
213 background: transparent;
214 color: #ffffff;
216 #site span {
217 line-height: 3em; /* really 6em relative to body, match h1 */
219 #logo {
220 color: #ffb380;
222 #head {
223 margin: 0;
224 padding: 0 0 0 2em;
225 border-left: solid 13em #4162bf;
226 border-right: solid 3em #6078bf;
227 background: #6078bf;
228 color: #e6ecff;
230 #nav {
231 clear: both;
232 float: left;
233 overflow: hidden;
234 text-align: left;
235 line-height: 1.5;
236 width: 13em;
237 padding-top: 1em;
238 background: transparent;
240 #nav ul {
241 list-style: none outside;
242 margin: 0;
243 padding: 0;
245 #nav li {
246 margin: 0;
247 padding: 0;
249 #nav a {
250 display: block;
251 text-decoration: none;
252 font-weight: bold;
253 margin: 0;
254 padding: 2px 1em;
255 border-top: 1px solid transparent;
256 border-bottom: 1px solid transparent;
257 background: transparent;
258 color: #2142bf;
260 #nav a:hover, #nav a:active {
261 text-decoration: none;
262 border-top: 1px solid #97a7d7;
263 border-bottom: 1px solid #e6ecff;
264 background: #b9c9f9;
265 color: #ff0000;
267 #nav a.current, #nav a.current:hover, #nav a.current:active {
268 border-top: 1px solid #e6ecff;
269 border-bottom: 1px solid #97a7d7;
270 background: #c5d5ff;
271 color: #2142bf;
273 #nav ul ul a {
274 padding: 0 1em 0 1.7em;
276 #nav ul ul ul a {
277 padding: 0 0.5em 0 2.4em;
279 #main {
280 line-height: 1.5;
281 text-align: left;
282 margin: 0;
283 padding: 1em 2em;
284 border-left: solid 13em #bfcfff;
285 border-right: solid 3em #e6ecff;
286 background: #e6ecff;
288 #foot {
289 clear: both;
290 font-size: 80%;
291 text-align: center;
292 margin: 0;
293 padding: 0.5em;
294 background: #6078bf;
295 color: #ffffff;
297 #foot a:link, #foot a:visited {
298 text-decoration: underline;
299 background: transparent;
300 color: #ffffff;
302 #foot a:hover, #foot a:active {
303 text-decoration: underline;
304 background: transparent;
305 color: #bfcfff;