mirror of
https://github.com/libguestfs/libguestfs.git
synced 2026-03-21 22:53:37 +00:00
47b095b928
Move the random set of HTML files we build from html/ into the website/ directory. Also in the website/ directory, put the index.html file from http://libguestfs.org, which was previously not under version control. It is generated from index.html.in so we can automatically add the current version and release date. Also in the website/ directory, put various CSS file, images, etc. which are required by the website and were also previously not under version control. Change the 'make website' rule to 'make maintainer-upload-website'. As the name suggests, it is only useful for the maintainer, and will fail with an error for anyone else.
156 lines
2.4 KiB
CSS
156 lines
2.4 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. */
|
|
ul[id="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%;
|
|
}
|
|
|
|
ul[id="index"] a[href] {
|
|
text-decoration: none;
|
|
}
|
|
|
|
ul[id="index"] a[href]:hover {
|
|
text-decoration: underline;
|
|
}
|
|
|
|
ul[id="index"] a[href]:before {
|
|
content: '#\00a0';
|
|
color: rgb(204,0,0);
|
|
font-size: x-small;
|
|
}
|
|
|
|
ul[id="index"] {
|
|
width: 17em;
|
|
list-style: none;
|
|
margin-left: 0px;
|
|
margin-right: 0px;
|
|
padding-left: 0px;
|
|
padding-right: 0px;
|
|
}
|
|
|
|
ul[id="index"] > li {
|
|
margin-bottom: 0.5em;
|
|
}
|
|
|
|
ul[id="index"] > li ul {
|
|
width: 16em;
|
|
list-style: none;
|
|
margin-left: 0px;
|
|
margin-right: 0px;
|
|
padding-left: 0px;
|
|
padding-right: 0px;
|
|
margin-bottom: 0.5em;
|
|
}
|
|
|
|
ul[id="index"] > li ul li {
|
|
display: inline;
|
|
margin-right: 1em;
|
|
}
|
|
|
|
/*
|
|
ul[id="index"] > li 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%;
|
|
}
|