aboutsummaryrefslogtreecommitdiff
path: root/doc.css
diff options
context:
space:
mode:
authorRoberto Ierusalimschy <roberto@inf.puc-rio.br>2019-02-20 10:13:46 -0300
committerRoberto Ierusalimschy <roberto@inf.puc-rio.br>2019-02-20 10:13:46 -0300
commite08e5df853560de6482d84066a7accc6a18de545 (patch)
treeee19686bb35da90709a32ed24bf7855de1a3946a /doc.css
downloadlpeg-e08e5df853560de6482d84066a7accc6a18de545.tar.gz
lpeg-e08e5df853560de6482d84066a7accc6a18de545.tar.bz2
lpeg-e08e5df853560de6482d84066a7accc6a18de545.zip
Fist version of LPeg on GIT
LPeg repository is being moved to git. Past versions won't be moved; they are still available in RCS.
Diffstat (limited to 'doc.css')
-rw-r--r--doc.css223
1 files changed, 223 insertions, 0 deletions
diff --git a/doc.css b/doc.css
new file mode 100644
index 0000000..3770e4e
--- /dev/null
+++ b/doc.css
@@ -0,0 +1,223 @@
1body {
2 margin-left: 1em;
3 margin-right: 1em;
4 font-family: arial, helvetica, geneva, sans-serif;
5 background-color:#ffffff; margin:0px;
6}
7
8code {
9 font-family: "Andale Mono", monospace;
10}
11
12tt {
13 font-family: "Andale Mono", monospace;
14}
15
16body, td, th { font-size: 11pt; }
17
18h1, h2, h3, h4 { margin-left: 0em; }
19
20textarea, pre, tt { font-size:10pt; }
21body, td, th { color:#000000; }
22small { font-size:0.85em; }
23h1 { font-size:1.5em; }
24h2 { font-size:1.25em; }
25h3 { font-size:1.15em; }
26h4 { font-size:1.06em; }
27
28a:link { font-weight:bold; color: #004080; text-decoration: none; }
29a:visited { font-weight:bold; color: #006699; text-decoration: none; }
30a:link:hover { text-decoration:underline; }
31hr { color:#cccccc }
32img { border-width: 0px; }
33
34
35h3 { padding-top: 1em; }
36
37p { margin-left: 1em; }
38
39p.name {
40 font-family: "Andale Mono", monospace;
41 padding-top: 1em;
42 margin-left: 0em;
43}
44
45blockquote { margin-left: 3em; }
46
47.example {
48 background-color: rgb(245, 245, 245);
49 border-top-width: 1px;
50 border-right-width: 1px;
51 border-bottom-width: 1px;
52 border-left-width: 1px;
53 border-top-style: solid;
54 border-right-style: solid;
55 border-bottom-style: solid;
56 border-left-style: solid;
57 border-top-color: silver;
58 border-right-color: silver;
59 border-bottom-color: silver;
60 border-left-color: silver;
61 padding: 1em;
62 margin-left: 1em;
63 margin-right: 1em;
64 font-family: "Andale Mono", monospace;
65 font-size: smaller;
66}
67
68
69hr {
70 margin-left: 0em;
71 background: #00007f;
72 border: 0px;
73 height: 1px;
74}
75
76ul { list-style-type: disc; }
77
78table.index { border: 1px #00007f; }
79table.index td { text-align: left; vertical-align: top; }
80table.index ul { padding-top: 0em; margin-top: 0em; }
81
82table {
83 border: 1px solid black;
84 border-collapse: collapse;
85 margin-left: auto;
86 margin-right: auto;
87}
88th {
89 border: 1px solid black;
90 padding: 0.5em;
91}
92td {
93 border: 1px solid black;
94 padding: 0.5em;
95}
96div.header, div.footer { margin-left: 0em; }
97
98#container
99{
100 margin-left: 1em;
101 margin-right: 1em;
102 background-color: #f0f0f0;
103}
104
105#product
106{
107 text-align: center;
108 border-bottom: 1px solid #cccccc;
109 background-color: #ffffff;
110}
111
112#product big {
113 font-size: 2em;
114}
115
116#product_logo
117{
118}
119
120#product_name
121{
122}
123
124#product_description
125{
126}
127
128#main
129{
130 background-color: #f0f0f0;
131 border-left: 2px solid #cccccc;
132}
133
134#navigation
135{
136 float: left;
137 width: 12em;
138 margin: 0;
139 vertical-align: top;
140 background-color: #f0f0f0;
141 overflow:visible;
142}
143
144#navigation h1 {
145 background-color:#e7e7e7;
146 font-size:1.1em;
147 color:#000000;
148 text-align:left;
149 margin:0px;
150 padding:0.2em;
151 border-top:1px solid #dddddd;
152 border-bottom:1px solid #dddddd;
153}
154
155#navigation ul
156{
157 font-size:1em;
158 list-style-type: none;
159 padding: 0;
160 margin: 1px;
161}
162
163#navigation li
164{
165 text-indent: -1em;
166 margin: 0em 0em 0em 0.5em;
167 display: block;
168 padding: 3px 0px 0px 12px;
169}
170
171#navigation li li a
172{
173 padding: 0px 3px 0px -1em;
174}
175
176#content
177{
178 margin-left: 12em;
179 padding: 1em;
180 border-left: 2px solid #cccccc;
181 border-right: 2px solid #cccccc;
182 background-color: #ffffff;
183}
184
185#about
186{
187 clear: both;
188 margin: 0;
189 padding: 5px;
190 border-top: 2px solid #cccccc;
191 background-color: #ffffff;
192}
193
194@media print {
195 body {
196 font: 10pt "Times New Roman", "TimeNR", Times, serif;
197 }
198 a { font-weight:bold; color: #004080; text-decoration: underline; }
199
200 #main { background-color: #ffffff; border-left: 0px; }
201 #container { margin-left: 2%; margin-right: 2%; background-color: #ffffff; }
202
203 #content { margin-left: 0px; padding: 1em; border-left: 0px; border-right: 0px; background-color: #ffffff; }
204
205 #navigation { display: none;
206 }
207
208 #product_logo
209 {
210 display: none;
211 }
212
213 #about img
214 {
215 display: none;
216 }
217
218 .example {
219 font-family: "Andale Mono", monospace;
220 font-size: 8pt;
221 page-break-inside: avoid;
222 }
223}