comparison third_party/luajit/doc/bluequad-print.css @ 186:8cf4ec5e2191 hg-web

Fixed merge conflict.
author MrJuneJune <me@mrjunejune.com>
date Fri, 23 Jan 2026 22:38:59 -0800
parents 94705b5986b3
children
comparison
equal deleted inserted replaced
176:fed99fc04e12 186:8cf4ec5e2191
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 body {
7 font-family: serif;
8 font-size: 11pt;
9 margin: 0 3em;
10 padding: 0;
11 border: none;
12 }
13 a:link, a:visited, a:hover, a:active {
14 text-decoration: none;
15 background: transparent;
16 color: #0000ff;
17 }
18 h1, h2, h3 {
19 font-family: sans-serif;
20 font-weight: bold;
21 text-align: left;
22 margin: 0.5em 0;
23 padding: 0;
24 }
25 h1 {
26 font-size: 200%;
27 }
28 h2 {
29 font-size: 150%;
30 }
31 h3 {
32 font-size: 125%;
33 }
34 p {
35 margin: 0 0 0.5em 0;
36 padding: 0;
37 }
38 ul, ol {
39 margin: 0.5em 0;
40 padding: 0 0 0 2em;
41 }
42 ul {
43 list-style: outside square;
44 }
45 ol {
46 list-style: outside decimal;
47 }
48 li {
49 margin: 0;
50 padding: 0;
51 }
52 dl {
53 margin: 1em 0;
54 padding: 1em;
55 border: 1px solid black;
56 }
57 dt {
58 font-weight: bold;
59 margin: 0;
60 padding: 0;
61 }
62 dt sup {
63 float: right;
64 margin-left: 1em;
65 }
66 dd {
67 margin: 0.5em 0 0 2em;
68 padding: 0;
69 }
70 table {
71 table-layout: fixed;
72 width: 100%;
73 margin: 1em 0;
74 padding: 0;
75 border: 1px solid black;
76 border-spacing: 0;
77 border-collapse: collapse;
78 }
79 tr {
80 margin: 0;
81 padding: 0;
82 border: none;
83 }
84 td {
85 text-align: left;
86 margin: 0;
87 padding: 0.2em 0.5em;
88 border-top: 1px solid black;
89 border-bottom: 1px solid black;
90 }
91 tr.separate td {
92 border-top: double;
93 }
94 tt, pre, code, kbd, samp {
95 font-family: monospace;
96 font-size: 75%;
97 }
98 kbd {
99 font-weight: bolder;
100 }
101 blockquote, pre {
102 margin: 1em 2em;
103 padding: 0;
104 }
105 img {
106 border: none;
107 vertical-align: baseline;
108 margin: 0;
109 padding: 0;
110 }
111 img.left {
112 float: left;
113 margin: 0.5em 1em 0.5em 0;
114 }
115 img.right {
116 float: right;
117 margin: 0.5em 0 0.5em 1em;
118 }
119 .flush {
120 clear: both;
121 visibility: hidden;
122 }
123 .hide, .noprint, #nav {
124 display: none !important;
125 }
126 .pagebreak {
127 page-break-before: always;
128 }
129 #site {
130 text-align: right;
131 font-family: sans-serif;
132 font-weight: bold;
133 margin: 0 1em;
134 border-bottom: 1pt solid black;
135 }
136 #site a {
137 font-size: 1.2em;
138 }
139 #site a:link, #site a:visited {
140 text-decoration: none;
141 font-weight: bold;
142 background: transparent;
143 color: #ffffff;
144 }
145 #logo {
146 color: #ff8000;
147 }
148 #head {
149 clear: both;
150 margin: 0 1em;
151 }
152 #main {
153 line-height: 1.3;
154 text-align: justify;
155 margin: 1em;
156 }
157 #foot {
158 clear: both;
159 font-size: 80%;
160 text-align: center;
161 margin: 0 1.25em;
162 padding: 0.5em 0 0 0;
163 border-top: 1pt solid black;
164 page-break-before: avoid;
165 page-break-after: avoid;
166 }