body {
    font-family: verdana, sans-serif;
    background: #333333;
    color: #dddddd;
    text-align: justify;
}

a { font-weight: bold; }
a:link    { color: #aaffaa; }
a:active  { color: #ffffff; }
a:visited { color: #dddddd; }
a:hover   { color: #ffcccc; }

h1.title {
    font-size: 24px;
    text-align: center;
    border: 1px #ffff00 solid;
    padding: 10px 0px;
    margin: 10px 0px;
    background-color: #666666;
    font-weight: normal;
}

h2.part {
    margin-top: 9px;
    margin-bottom: 6px;
    display: inline;
    padding: 0px 24px;
    color: #ccccff;
    border: solid #8888ff 1px;
    background-color: #484848;
    font-size: 20px;
    font-weight: bold;
    font-variant: small-caps;
}

img {
    border-style: none;
}

#addr {
    float: left;
}

#modif {
    float: right;
    font-family: monospace; 
    font-weight: bold; 
}

.hilight {
     color: #ffffff;
     font-weight: bold;
     font-style: italic;
}

tt {
    font-weight: bold;
    font-size: 140%;
}

pre {
    font-weight: bold;
    font-size: 100%;
}

div.example tt {
    color: #cc88ff;
}

div.example pre {
    color: #cc88ff;
}

div.howto tt {
    color: #8888ff;
}

div.howto pre {
    color: #8888ff;
}

div.howto h2.section {
    margin-top: 12px;
    margin-bottom: 6px;
    color: #cccc00;
    font-size: 24px;
    font-weight: bold;
    text-decoration: underline;
}

div.howto h3.question {
    margin-top: 6px;
    margin-bottom: 3px;
    color: #cccc00;
    font-size: 18px;
    font-style: italic;
}

