d5a1925034
Before this commit, we ran asciidoc in its default mode, where it inlines
the stylesheets and javascript inside each document.
This commit changes asciidoc to link to external style sheets and
javascript instead, so we can get by with one copy of those things.
We copy all the asciidoc CSS and JS files into our directory of generated
html docs. asciidoc used to inline some (but not all) of those documents
in each html file.
Also move our custom stylesheet from doc/src to doc/html, where it will
be used.
The effects of this commit are:
Copy some of asciidoc's files into our html tree.
Slightly smaller docs: each document shrinks by about a dozen
kilobytes (the CSS and JS files are cached by the client after the
first fetch).
No bogus inlining. Inlining is discouraged by the w3c, and asciidoc
got it wrong:
http://www.w3.org/TR/xhtml1/#h-4.8
http://www.w3.org/TR/xhtml-media-types/#C_4
37 lines
1.5 KiB
CSS
37 lines
1.5 KiB
CSS
:target { background: #DEF !important; }
|
|
tt { font-family: monospace !important; }
|
|
pre { font-family: monospace !important; }
|
|
h1, h2 { background: #c0c0f0; }
|
|
h1, h2, h3, h4, h5 { border-bottom: 2px solid #8080c0; color: black; }
|
|
div.nav { float: right; background: #ffffff; }
|
|
dt { font-weight: bold; }
|
|
pre { margin-left: 4ex; auto; color: black; padding: 1ex; }
|
|
div.float { text-align: center; margin: 2ex; padding: 1ex; }
|
|
div.float span.caption { display: block; margin: 1em; }
|
|
.typewriter { font-family: monospace; }
|
|
table { border-collapse: collapse; margin-left: auto; margin-right: auto; }
|
|
.alignment_center { text-align: center; }
|
|
.topline { border-top: 1px solid black; }
|
|
.bottomline { border-bottom: 1px solid black; }
|
|
.leftline { border-left: 1px solid black; }
|
|
.rightline { border-right: 1px solid black; }
|
|
.v_top { vertical-align: baseline; }
|
|
.a_center { text-align: center; }
|
|
.a_left { text-align: left; }
|
|
.a_right { text-align: right; }
|
|
.block { display: block }
|
|
.blockformula { display: block; text-align: center }
|
|
.f_typewriter { font-family: monospace; }
|
|
.noun { font-variant: small-caps; }
|
|
.s_bold { font-weight: bold; }
|
|
.clist { -moz-column-width: 40ex; -moz-column-gap: 4ex }
|
|
.nclist { -moz-column-width: 20ex; -moz-column-gap: 4ex }
|
|
.nclist li { list-style-type: none; text-indent: -.5ex; }
|
|
.toc li { list-style-type: none; }
|
|
.toc li a { display: block; border: 1px solid transparent; text-indent: -1ex; }
|
|
|
|
/* AsciiDoc stuff */
|
|
div.note {
|
|
padding-left: 0.5em;
|
|
border-left: 3px solid #c0c0f0;
|
|
}
|