diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2012-05-11 23:42:18 +0000 |
---|---|---|
committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2012-05-11 23:42:18 +0000 |
commit | 71d867daf6a83b227368c360525665277bcba209 (patch) | |
tree | 43809ae646e84eb6b8e6183d9300630f5b4ce515 /doc/manual/style.css | |
parent | ce3941d6e6d7c5f4f683d3ef25070cd1c803a79b (diff) | |
download | nixpkgs-71d867daf6a83b227368c360525665277bcba209.tar nixpkgs-71d867daf6a83b227368c360525665277bcba209.tar.gz nixpkgs-71d867daf6a83b227368c360525665277bcba209.tar.bz2 nixpkgs-71d867daf6a83b227368c360525665277bcba209.tar.lz nixpkgs-71d867daf6a83b227368c360525665277bcba209.tar.xz nixpkgs-71d867daf6a83b227368c360525665277bcba209.tar.zst nixpkgs-71d867daf6a83b227368c360525665277bcba209.zip |
* Sync CSS.
svn path=/nixos/trunk/; revision=34067
Diffstat (limited to 'doc/manual/style.css')
-rw-r--r-- | doc/manual/style.css | 118 |
1 files changed, 49 insertions, 69 deletions
diff --git a/doc/manual/style.css b/doc/manual/style.css index 5756d60eba3..e2204c159e2 100644 --- a/doc/manual/style.css +++ b/doc/manual/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,81 +227,42 @@ div.glosslist dt font-style: italic; } -.default -{ - font-style: italic; -} - -.availability -{ - font-style: italic; -} - .varname { color: #400000; } - -div.informaltable table -{ - border: 1px solid #6185a0; - width: 100%; -} - -div.informaltable td +span.command strong { - 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 +table.simplelist { + text-align: left; + color: #005aa0; + border: 0; + padding: 5px; + background: #fffff5; + font-weight: normal; 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; + box-shadow: none; + margin-bottom: 1em; } -table +div.affiliation { - margin-bottom: 1em; -} + font-style: italic; +} \ No newline at end of file |