diff options
author | Florian Dold <florian.dold@gmail.com> | 2019-08-29 13:34:07 +0200 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2019-08-29 13:34:19 +0200 |
commit | 180da005f4d8cf78121dfe765c47de060006e005 (patch) | |
tree | 264b7527fb14c73431498f78194d6e87e2bd92e2 /doc/docstyle.css | |
parent | 7b20ee8c8d691c0d79403462411ec66c5ada36c4 (diff) | |
download | exchange-180da005f4d8cf78121dfe765c47de060006e005.tar.xz |
move documentation to docs repo
Diffstat (limited to 'doc/docstyle.css')
-rw-r--r-- | doc/docstyle.css | 76 |
1 files changed, 0 insertions, 76 deletions
diff --git a/doc/docstyle.css b/doc/docstyle.css deleted file mode 100644 index c91d3f796..000000000 --- a/doc/docstyle.css +++ /dev/null @@ -1,76 +0,0 @@ -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; -} |