Files
libguestfs/html/pod.css
Richard W.M. Jones 09cf74a339 Freshen POD (manual pages) stylesheet.
(cherry picked from commit 533aff2879)
2010-10-23 12:27:39 +01:00

156 lines
2.5 KiB
CSS

/* CSS to make pod2html files look a little bit better. */
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: 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 <hr>'s :-( */
hr { display: none; }
/* Demote <h1>'s and set rest of headers relative. */
h1 {
font-size: 100%;
color: black;
border-bottom: solid 1px rgb(204,0,0);
}
h2 {
font-size: 95%;
border-bottom: none;
}
h3 {
font-size: 90%;
}
h4 {
font-size: 85%;
}