diff options
author | Richard W.M. Jones <rjones@redhat.com> | 2010-09-27 10:12:22 +0100 |
---|---|---|
committer | Richard W.M. Jones <rjones@redhat.com> | 2010-10-23 15:51:55 +0100 |
commit | 9df54de75a76d3b8c2cc14b029f71f7a0925c597 (patch) | |
tree | 696d662549cf84ab3f2d9fdb363434d9e3957af8 /html | |
parent | b9e4cce49c162b5c01083680dcfa21031c1634db (diff) | |
download | libguestfs-9df54de75a76d3b8c2cc14b029f71f7a0925c597.tar.gz libguestfs-9df54de75a76d3b8c2cc14b029f71f7a0925c597.tar.xz libguestfs-9df54de75a76d3b8c2cc14b029f71f7a0925c597.zip |
Freshen POD (manual pages) stylesheet.
(cherry picked from commit 533aff2879d85a4061b9d31e9b25996ce0af60f5)
Diffstat (limited to 'html')
-rw-r--r-- | html/pod.css | 78 |
1 files changed, 73 insertions, 5 deletions
diff --git a/html/pod.css b/html/pod.css index f09ae52b..d90ebb54 100644 --- a/html/pod.css +++ b/html/pod.css @@ -1,13 +1,80 @@ /* CSS to make pod2html files look a little bit better. */ -@import url("http://people.redhat.com/~rjones/css/standard.css"); + +body { + margin-left: 4em; +} + +body p, body ul, ol, body dl { + margin-left: 2em; + width: 31em; +} + +pre { + width: 31em; +} + +li { + padding-bottom: 0.5em; +} + +/* Code sections. */ + +pre { + background-color: #f8f8f8; + color: rgb(204,0,0); + font-weight: 550; + border-left: 6px solid rgb(204,64,64); + padding: 6px; + margin-left: 1em; + font-size: 120%; +} + +/* Bold, italic in man pages. */ +b, strong { + color: rgb(204,0,0); +} + +i, em { + color: rgb(204,0,0); +} + +/* Name heading. */ + +body > h1:first-of-type { + display: none; +} + +body > h1:first-of-type + p { + font-size: 125%; + font-weight: bold; + color: rgb(204,0,0); + margin-left: -32px; +} + +/* Warning heading in man pages. */ +a[name="warning"] { + -moz-border-radius-topleft: 5px; + -moz-border-radius-topright: 5px; + border-radius-topleft: 5px; + border-radius-topright: 5px; + + color: white; + background-color: rgb(204,0,0); +} +a[name="warning"]:before { + content: "\00a0\00a0\00a0"; +} +a[name="warning"]:after { + content: "\00a0\00a0\00a0"; +} /* Put the index on the right hand side in a floating box. */ div[name="index"] { float: right; width: 18em; - border-left: 1px solid #f0f0f0; + border-left: 3em solid white; background-color: #fcfcfc; - margin-top: 0px; + margin-top: 32px; padding-top: 0px; margin-left: 1em; padding-left: 1em; @@ -25,7 +92,7 @@ div[name="index"] a[href]:hover { div[name="index"] a[href]:before { content: '#\00a0'; - color: #e00; + color: rgb(204,0,0); font-size: x-small; } @@ -70,7 +137,8 @@ hr { display: none; } /* Demote <h1>'s and set rest of headers relative. */ h1 { font-size: 100%; - border-bottom: solid 1px black; + color: black; + border-bottom: solid 1px rgb(204,0,0); } h2 { |