X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=html%2Fpod.css;h=d90ebb5483964c14371158e3be4630a8bc9d1af0;hb=a21dff8faad086cce7c1a87cfa755a2e4f8eec8e;hp=9a0b4b583bbec2610610f61b05c1975ae414acfb;hpb=233595cc4e3c3422a5f5d8aec3314029da3f0ec7;p=libguestfs.git diff --git a/html/pod.css b/html/pod.css index 9a0b4b5..d90ebb5 100644 --- a/html/pod.css +++ b/html/pod.css @@ -1,24 +1,155 @@ /* CSS to make pod2html files look a little bit better. */ -@import url("http://et.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: 24em; - background-color: white; - margin-right: 2em; + width: 18em; + border-left: 3em solid white; + background-color: #fcfcfc; + margin-top: 32px; + padding-top: 0px; + margin-left: 1em; + padding-left: 1em; + padding-right: 1em; + font-size: 90%; +} + +div[name="index"] a[href] { + text-decoration: none; +} + +div[name="index"] a[href]:hover { + text-decoration: underline; +} + +div[name="index"] a[href]:before { + content: '#\00a0'; + color: rgb(204,0,0); + font-size: x-small; +} + +div[name="index"] > ul { + width: 17em; + list-style: none; + margin-left: 0px; + margin-right: 0px; + padding-left: 0px; + padding-right: 0px; +} + +div[name="index"] > ul > li { + margin-bottom: 0.5em; } +div[name="index"] > ul ul { + width: 16em; + list-style: none; + margin-left: 0px; + margin-right: 0px; + padding-left: 0px; + padding-right: 0px; + margin-bottom: 0.5em; +} + +div[name="index"] > ul > ul li { + display: inline; + margin-right: 1em; +} + +/* +div[name="index"] > ul > ul li:after { + color: #ccc; + content: '\2014'; +} +*/ + /* Get rid of those horrible