body {
    width: 992px;
    margin: 0px auto;
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: 14px;
}

#the-title {
    padding-top: 12px;
    text-align: right;
}

#the-title img {
    border: 0;
}

#the-title .title {
    float: left;
    font-size: 150%;
}

#the-content {
    margin-left: 10px;
    margin-right: 10px;
}

#the-toc ul ul {
    list-style-type: none;
}

#the-toc > ul > li {
    padding-top: 0.5em;
}



#the-footer {
    padding-top: 8px;
    border-top: 1px solid #ccc;
    text-align: right;
}

#the-footer img {
    border: 0;
}

#the-footer .update-info {
    float: left;
    font-size: 90%;
    color: #555;
}

#the-navi-menu {
    padding: 8px;
    border-bottom: 1px solid #ccc;
    border-top: 1px solid #ccc;
}

#link-to-other-languages {
    float: right;
}


dl.formal-p dt
{
    font-weight: bold;
}

a {
    text-decoration: none;
}

a:link,
a:visited {
    color: #69c;
}

a:hover {
    color: #a00;
}

a.selected:link,
a.selected:visited,
a.selected:hover {
    color: #6c9;
}

a.navi-link {
    padding-right: 16px;
    text-align: center;
    font-weight: bold;
}

a.language-link {
    font-weight: normal;
    font-style: italic;
}

.command,
.dir,
.file,
.lib,
.option,
.symlink {
    font-family: monospace;
}

div.figure {
    display: inline-block;
/* For visualizing the borders uncomment this: */
/* border: 1px solid #ccc; */
}

img {
    vertical-align: top;
}

.caption {
    padding-top: 0.5em;
    text-align: center;
    font-size: 90%;
    width: 100%;
}

.subcaption {
    font-size: 90%;
    padding-left: 1em;
}

.float-left {
    float: left;
}

.float-right {
    float: right;
}

.running-name {
    font-weight: bold;
}

.end-float {
    clear: both; 
}

.missing {
    background-color: yellow;
}

:lang(de)    { quotes:"\201E" "\201C" "\201A" "\2018"; }
:lang(en)    { quotes:"\201C" "\201D" "\2018" "\2019"; }
:lang(fr)    { quotes:"\00AB\00A0" "\00A0\00BB" "\2039\00A0" "\00A0\203A"; }

q:before     { content:open-quote; }
q:after      { content:close-quote; }
q q:before   { content:open-quote; }
q q:after    { content:close-quote; }
