diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2012-05-11 21:42:00 +0000 |
---|---|---|
committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2012-05-11 21:42:00 +0000 |
commit | 09ab016c6c68a890a155789aa0b9108be2f845cf (patch) | |
tree | f6dda65559e2291594a361905e7a650c02d1f089 /doc/style.css | |
parent | a78d2f55fb515eae60bc533e11051b21e1e054c9 (diff) |
* Sync CSS with the Nix manual.
svn path=/nixpkgs/trunk/; revision=34062
Diffstat (limited to 'doc/style.css')
-rw-r--r-- | doc/style.css | 106 |
1 files changed, 39 insertions, 67 deletions
diff --git a/doc/style.css b/doc/style.css index e992a9a85dd97..ac76a64bbb210 100644 --- a/doc/style.css +++ b/doc/style.css @@ -8,15 +8,14 @@ body { - font-family: sans-serif; + font-family: "Nimbus Sans L", sans-serif; background: white; margin: 2em 1em 2em 1em; } -h1,h2,h3 +h1, h2, h3, h4 { color: #005aa0; - text-align: left; } h1 /* title */ @@ -46,6 +45,11 @@ h3 /* subsections */ font-size: 125%; } +div.simplesect h2 +{ + font-size: 110%; +} + div.appendix h3 { font-size: 150%; @@ -70,11 +74,13 @@ div.refsection h3 div.example { - border: 1px solid #6185a0; + border: 1px solid #b0b0b0; padding: 6px 6px; margin-left: 1.5em; margin-right: 1.5em; background: #f4f4f8; + border-radius: 0.4em; + box-shadow: 0.4em 0.4em 0.5em #e0e0e0; } div.example p.title @@ -82,6 +88,11 @@ div.example p.title margin-top: 0em; } +div.example pre +{ + box-shadow: none; +} + /*************************************************************************** Screen dumps: @@ -89,14 +100,15 @@ div.example p.title pre.screen, pre.programlisting { - border: 1px solid #6185a0; + border: 1px solid #b0b0b0; padding: 3px 3px; margin-left: 1.5em; margin-right: 1.5em; color: #600000; background: #f4f4f8; font-family: monospace; - /* font-size: 90%; */ + border-radius: 0.4em; + box-shadow: 0.4em 0.4em 0.5em #e0e0e0; } div.example pre.programlisting @@ -113,13 +125,15 @@ div.example pre.programlisting .note, .warning { - border: 1px solid #6185a0; + border: 1px solid #b0b0b0; padding: 3px 3px; margin-left: 1.5em; margin-right: 1.5em; margin-bottom: 1em; padding: 0.3em 0.3em 0.3em 0.3em; background: #fffff5; + border-radius: 0.4em; + box-shadow: 0.4em 0.4em 0.5em #e0e0e0; } div.note, div.warning @@ -131,7 +145,6 @@ div.note h3, div.warning h3 { color: red; font-size: 100%; -// margin: 0 0 0 0; padding-right: 0.5em; display: inline; } @@ -162,20 +175,26 @@ div.navfooter * Links colors and highlighting: ***************************************************************************/ +a { text-decoration: none; } +a:hover { text-decoration: underline; } a:link { color: #0048b3; } a:visited { color: #002a6a; } -a:hover { background: #ffffcd; } /*************************************************************************** Table of contents: ***************************************************************************/ -.toc +div.toc { font-size: 90%; } +div.toc dl +{ + margin-top: 0em; + margin-bottom: 0em; +} /*************************************************************************** @@ -208,76 +227,29 @@ div.glosslist dt font-style: italic; } -.default -{ - font-style: italic; -} - -.availability -{ - font-style: italic; -} - .varname { color: #400000; } - -div.informaltable table +span.command strong { - border: 1px solid #6185a0; - width: 100%; -} - -div.informaltable td -{ - border: 0; - padding: 5px; -} - -div.informaltable td.default -{ - text-align: right; + font-weight: normal; + color: #400000; } -div.informaltable th +div.calloutlist table { - text-align: left; - color: #005aa0; - border: 0; - padding: 5px; - background: #fffff5; - font-weight: normal; - font-style: italic; + box-shadow: none; } -td.varname, td.tagname, td.paramname +table { - font-weight: bold; - vertical-align: top; + border-collapse: collapse; + box-shadow: 0.4em 0.4em 0.5em #e0e0e0; } -div.epigraph +div.affiliation { font-style: italic; - text-align: right; -} - -table.productionset table.productionset -{ - font-family: monospace; -} - -strong.command -{ -// font-family: monospace; -// font-style: italic; -// font-weight: normal; - color: #400000; -} - -div.calloutlist td -{ - padding-bottom: 1em; -} +} \ No newline at end of file |