diff options
author | Florian Dold <florian.dold@gmail.com> | 2017-06-16 03:20:02 +0200 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2017-06-16 03:21:09 +0200 |
commit | 7f9e6272fd0e16d060da432c3a9b67c49465470e (patch) | |
tree | 7983d22b12fced6392bff6246a2c428951e01dc5 /doc/docstyle.css | |
parent | 0e6c4ba898b0f4c7e53b02a65f99cc4b6b066ad7 (diff) | |
download | exchange-7f9e6272fd0e16d060da432c3a9b67c49465470e.tar.xz |
Styling, no-split and syntax highlighting for texi
Diffstat (limited to 'doc/docstyle.css')
-rw-r--r-- | doc/docstyle.css | 76 |
1 files changed, 76 insertions, 0 deletions
diff --git a/doc/docstyle.css b/doc/docstyle.css new file mode 100644 index 000000000..c91d3f796 --- /dev/null +++ b/doc/docstyle.css @@ -0,0 +1,76 @@ +html, body { + font-size: 1em; + text-align: left; + text-decoration: none; +} +html { background-color: #e7e7e7; } + +body { + max-width: 74.92em; + margin: 0 auto; + padding: .5em 1em 1em 1em; + background-color: white; + border: .1em solid #c0c0c0; +} + +h1, h2, h3, h4 { color: #333; } +h5, h6, dt { color: #222; } + + +a h3 { + color: #005090; +} + +a[href] { color: #005090; } +a[href]:visited { color: #100070; } +a[href]:active, a[href]:hover { + color: #100070; + text-decoration: none; +} + +.linkrow { + margin: 3em 0; +} + +.linkrow { + text-align: center; +} + +div.example { padding: .8em 1.2em .4em; } +pre.example { padding: .8em 1.2em; } +div.example, pre.example { + margin: 1em 0 1em 3% ; + -webkit-border-radius: .3em; + -moz-border-radius: .3em; + border-radius: .3em; + border: 1px solid #d4cbb6; + background-color: #f2efe4; +} +div.example > pre.example { + padding: 0 0 .4em; + margin: 0; + border: none; +} + + +/* This makes the very long tables of contents in Gnulib and other + manuals easier to read. */ +.contents ul, .shortcontents ul { font-weight: bold; } +.contents ul ul, .shortcontents ul ul { font-weight: normal; } +.contents ul { list-style: none; } + +/* For colored navigation bars (Emacs manual): make the bar extend + across the whole width of the page and give it a decent height. */ +.header, .node { margin: 0 -1em; padding: 0 1em; } +.header p, .node p { line-height: 2em; } + +/* For navigation links */ +.node a, .header a { display: inline-block; line-height: 2em; } +.node a:hover, .header a:hover { background: #f2efe4; } + +table.cartouche { + border-collapse: collapse; + border-color: darkred; + border-style: solid; + border-width: 3px; +} |