diff options
author | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | 2019-02-20 10:13:46 -0300 |
---|---|---|
committer | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | 2019-02-20 10:13:46 -0300 |
commit | e08e5df853560de6482d84066a7accc6a18de545 (patch) | |
tree | ee19686bb35da90709a32ed24bf7855de1a3946a /doc.css | |
download | lpeg-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.css | 223 |
1 files changed, 223 insertions, 0 deletions
@@ -0,0 +1,223 @@ | |||
1 | body { | ||
2 | margin-left: 1em; | ||
3 | margin-right: 1em; | ||
4 | font-family: arial, helvetica, geneva, sans-serif; | ||
5 | background-color:#ffffff; margin:0px; | ||
6 | } | ||
7 | |||
8 | code { | ||
9 | font-family: "Andale Mono", monospace; | ||
10 | } | ||
11 | |||
12 | tt { | ||
13 | font-family: "Andale Mono", monospace; | ||
14 | } | ||
15 | |||
16 | body, td, th { font-size: 11pt; } | ||
17 | |||
18 | h1, h2, h3, h4 { margin-left: 0em; } | ||
19 | |||
20 | textarea, pre, tt { font-size:10pt; } | ||
21 | body, td, th { color:#000000; } | ||
22 | small { font-size:0.85em; } | ||
23 | h1 { font-size:1.5em; } | ||
24 | h2 { font-size:1.25em; } | ||
25 | h3 { font-size:1.15em; } | ||
26 | h4 { font-size:1.06em; } | ||
27 | |||
28 | a:link { font-weight:bold; color: #004080; text-decoration: none; } | ||
29 | a:visited { font-weight:bold; color: #006699; text-decoration: none; } | ||
30 | a:link:hover { text-decoration:underline; } | ||
31 | hr { color:#cccccc } | ||
32 | img { border-width: 0px; } | ||
33 | |||
34 | |||
35 | h3 { padding-top: 1em; } | ||
36 | |||
37 | p { margin-left: 1em; } | ||
38 | |||
39 | p.name { | ||
40 | font-family: "Andale Mono", monospace; | ||
41 | padding-top: 1em; | ||
42 | margin-left: 0em; | ||
43 | } | ||
44 | |||
45 | blockquote { 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 | |||
69 | hr { | ||
70 | margin-left: 0em; | ||
71 | background: #00007f; | ||
72 | border: 0px; | ||
73 | height: 1px; | ||
74 | } | ||
75 | |||
76 | ul { list-style-type: disc; } | ||
77 | |||
78 | table.index { border: 1px #00007f; } | ||
79 | table.index td { text-align: left; vertical-align: top; } | ||
80 | table.index ul { padding-top: 0em; margin-top: 0em; } | ||
81 | |||
82 | table { | ||
83 | border: 1px solid black; | ||
84 | border-collapse: collapse; | ||
85 | margin-left: auto; | ||
86 | margin-right: auto; | ||
87 | } | ||
88 | th { | ||
89 | border: 1px solid black; | ||
90 | padding: 0.5em; | ||
91 | } | ||
92 | td { | ||
93 | border: 1px solid black; | ||
94 | padding: 0.5em; | ||
95 | } | ||
96 | div.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 | } | ||