changed prettify keyword colour to make it more distinct from link; pushed up <code> size; cleaned up style-sheet-found-error
Steve Donovan
9 years ago
71 | 71 | background-color: #ffffff; margin: 0px; |
72 | 72 | } |
73 | 73 | |
74 | code, tt { font-family: monospace; } | |
74 | code, tt { font-family: monospace; font-size: 1.1em; } | |
75 | 75 | span.parameter { font-family:monospace; } |
76 | 76 | span.parameter:after { content:":"; } |
77 | 77 | span.types:before { content:"("; } |
295 | 295 | pre .comment { color: #558817; } |
296 | 296 | pre .constant { color: #a8660d; } |
297 | 297 | pre .escape { color: #844631; } |
298 | pre .keyword { color: #2239a8; font-weight: bold; } | |
298 | pre .keyword { color: #aa5050; font-weight: bold; } | |
299 | 299 | pre .library { color: #0e7c6b; } |
300 | 300 | pre .marker { color: #512b1e; background: #fedc56; font-weight: bold; } |
301 | pre .string { color: #a8660d; } | |
301 | pre .string { color: #8080ff; } | |
302 | 302 | pre .number { color: #f8660d; } |
303 | 303 | pre .operator { color: #2239a8; font-weight: bold; } |
304 | 304 | pre .preprocessor, pre .prepro { color: #a33243; } |
71 | 71 | background-color: #ffffff; margin: 0px; |
72 | 72 | } |
73 | 73 | |
74 | code, tt { font-family: monospace; } | |
74 | code, tt { font-family: monospace; font-size: 1.1em; } | |
75 | 75 | span.parameter { font-family:monospace; } |
76 | 76 | span.parameter:after { content:":"; } |
77 | 77 | span.types:before { content:"("; } |
303 | 303 | pre .comment { color: #558817; } |
304 | 304 | pre .constant { color: #a8660d; } |
305 | 305 | pre .escape { color: #844631; } |
306 | pre .keyword { color: #2239a8; font-weight: bold; } | |
306 | pre .keyword { color: #aa5050; font-weight: bold; } | |
307 | 307 | pre .library { color: #0e7c6b; } |
308 | 308 | pre .marker { color: #512b1e; background: #fedc56; font-weight: bold; } |
309 | pre .string { color: #a8660d; } | |
309 | pre .string { color: #8080ff; } | |
310 | 310 | pre .number { color: #f8660d; } |
311 | 311 | pre .operator { color: #2239a8; font-weight: bold; } |
312 | 312 | pre .preprocessor, pre .prepro { color: #a33243; } |
71 | 71 | background-color: #ffffff; margin: 0px; |
72 | 72 | } |
73 | 73 | |
74 | code, tt { font-family: monospace; } | |
74 | code, tt { font-family: monospace; font-size: 1.1em; } | |
75 | 75 | |
76 | 76 | body, p, td, th { font-size: .95em; line-height: 1.2em;} |
77 | 77 | |
268 | 268 | dl.table h3, dl.function h3 {font-size: .95em;} |
269 | 269 | |
270 | 270 | /* styles for prettification of source */ |
271 | .keyword {font-weight: bold; color: #6666AA; } | |
272 | .number { color: #AA6666; } | |
273 | .string { color: #8888AA; } | |
274 | .comment { color: #666600; } | |
275 | .prepro { color: #006666; } | |
271 | pre .comment { color: #558817; } | |
272 | pre .constant { color: #a8660d; } | |
273 | pre .escape { color: #844631; } | |
274 | pre .keyword { color: #aa5050; font-weight: bold; } | |
275 | pre .library { color: #0e7c6b; } | |
276 | pre .marker { color: #512b1e; background: #fedc56; font-weight: bold; } | |
277 | pre .string { color: #8080ff; } | |
278 | pre .number { color: #f8660d; } | |
279 | pre .operator { color: #2239a8; font-weight: bold; } | |
280 | pre .preprocessor, pre .prepro { color: #a33243; } | |
281 | pre .global { color: #800080; } | |
282 | pre .prompt { color: #558817; } | |
283 | pre .url { color: #272fc2; text-decoration: underline; } | |
276 | 284 | ]==] |
70 | 70 | background-color: #ffffff; margin: 0px; |
71 | 71 | } |
72 | 72 | |
73 | code, tt { font-family: monospace; } | |
73 | code, tt { font-family: monospace; font-size: 1.1em; } | |
74 | 74 | span.parameter { font-family:monospace; } |
75 | 75 | span.parameter:after { content:":"; } |
76 | 76 | span.types:before { content:"("; } |
294 | 294 | pre .comment { color: #558817; } |
295 | 295 | pre .constant { color: #a8660d; } |
296 | 296 | pre .escape { color: #844631; } |
297 | pre .keyword { color: #2239a8; font-weight: bold; } | |
297 | pre .keyword { color: #aa5050; font-weight: bold; } | |
298 | 298 | pre .library { color: #0e7c6b; } |
299 | 299 | pre .marker { color: #512b1e; background: #fedc56; font-weight: bold; } |
300 | pre .string { color: #a8660d; } | |
300 | pre .string { color: #8080ff; } | |
301 | 301 | pre .number { color: #f8660d; } |
302 | 302 | pre .operator { color: #2239a8; font-weight: bold; } |
303 | 303 | pre .preprocessor, pre .prepro { color: #a33243; } |
752 | 752 | local function tmpwrite (name) |
753 | 753 | local ok,text = pcall(require,'ldoc.html.'..name:gsub('%.','_')) |
754 | 754 | if not ok then |
755 | quit("cannot find builtin template "..name..": "..text) | |
755 | quit("cannot find builtin template "..name) | |
756 | 756 | end |
757 | 757 | if not utils.writefile(path.join(tmpdir,name),text) then |
758 | 758 | quit("cannot write to temp directory "..tmpdir) |