/* CSS for virt-tools.org */

body {
    padding-top: 32px; /* space for menu */
    margin-left: 1em;
    font-family: Helvetica; /* Fedora users get Liberation, hopefully */
}

body > p, body > ul, body > ol, body > dl {
    margin-left: 1em;
    width: 35em;
}

li {
    padding-bottom: 0.5em;
}

/* Headings. */

h1 {
    font-size: 125%;
}

h2 {
    font-size: 115%;
}

h3, h4 {
    font-size: 105%;
}

h1, h2, h3, h4 {
    color: #222;
}

pre {
    background-color: #fcfcfc;
    /*border: 1px dotted #888;*/
    border-left: 6px solid #f0f0f0;
    padding: 5px;
    margin-left: 1em;
    font-size: 120%;
}

/* In subsections, links back to section at top and bottom. */

p#vtbacktosectiontop {
    margin-top: -12px;
    margin-left: 0px;
    font-size: 70%;
    color: #888;
}

p#vtbacktosectiontop a {
    text-decoration: none;
}

/* Menu. */

ul#vtmenu {
    position: absolute;
    left: 1em;
    top: 6px;
    width: 98%;
    padding: 0px;
    margin: 0px;
    list-style: none;
}

ul#vtmenu li {
    display: inline;
    margin-left: -3px;
    border: solid #fff 1px;
}

ul#vtmenu li.vtmenuselected a, ul#vtmenu li.vtmenuselected span {
    display: inline;
    padding: 3px 2em 3px 2em;
    background-color: #a3e8db;
}

ul#vtmenu li.vtmenunotselected a, ul#vtmenu li.vtmenunotselected span {
    display: inline;
    padding: 3px 2em 3px 2em;
    background-color: #93c5c2;
}

ul#vtmenu li a:hover {
    background-color: #a3e8db;
}

ul#vtmenu a {
    text-decoration: none;
    color: #000;
}

/* Footer (displayed on every page except the home page) */

p#vtfooter {
    width: 98%;
    font-size: 70%;
    color: #888;
}

p#vtfooter a {
    text-decoration: none;
    color: #888;
}

/* Permalinks (see templates/h2) */

a.vtpermalink {
    font-size: 70%;
    color: #ddd;
    text-decoration: none;
}

a.vtpermalink:hover {
    color: #222;
}

/* Right-float boxes, used for margin notes, examples etc. */

p.vtmarginnote {
    float: right;

    width: 16em;
    margin-top: 0px;
    margin-left: 2em;
    margin-right: 2em;
    padding-top: 0px;

    font-style: italic;
    font-size: 85%;
    color: #333;
}