body {
    color: #f5deb3;
    background-color: #0A0A3A;
    font-family: "Bitstream Vera Sans Mono", "courier new", monospace;
    font-size: 10pt;
}


pre {
    width: 98%;
    border:0;
    text-align: left;
    padding-left: 0px;
    padding-top: 10px;
    padding-bottom: 10px;
    margin: 0;
    margin-bottom: 10px;
    margin-top: 10px;
    background-color: #2f4f4f;
    font-size: 10pt;
    font-family: "Bitstream Vera Sans Mono", "courier new", sans-serif;
}

/* .titledoc { */
/*     /\* display:table; *\/ */
/*     padding-left: 0px; */
/*     margin: 0px; */
/*     background-color: #0A0A3A; */
/*     /\* color: #f5deb3; *\/ */
/*     color: #eeeeff; */
/*     font-size: 11pt; */
/* /\* text-decoration: none; *\/ */
/* } */

.documentation {
    display:inline;
    padding: 0px;
    margin: 0px;
    background-color: #0A0A3A;
    /*     width: 100%; */
    color: #eeeeff;
    font-size: 10pt;
}

.docextra {
    padding: 0px;
    margin: 0px;
    /* background-color: #0A0A3A; */
    color: #eeeeff;
    font-size: 10pt;
}

div.foot{
    margin: 0;
    padding-right: 20px;
    margin-top: 20px;
    text-align: right;
    color: #c8c8c8;
    background-color: #000000;
    clear:left;
}

.menuhf{
    font-size: 10pt;
    padding: 0 20px 0 20px;
    margin:0;
    clear:left;
}

.menuhf span {margin-right:1em;}

.imgborder {
    padding: 2px;
    margin: 0px;
    background-color: #FFFFFF;
    border: 0;
}

.presentation {
    display:table;
    margin-top: 10px;
    margin-bottom: 0;
    margin-left: 0;
    margin-right: 0;
    text-align: center;
    padding: 15px;
    color: #E0E0FF;
    background-color: #000000;
    font-size: 16pt;
    font-weight: bold;
}

.no-deco{
    text-decoration:none;
}

p.last-modif{
    margin-right:10%;
}

._bt {
    /* font-lock-_bt-face */
    color: #b0c4de;
}
._cm {
    /* font-lock-comment-face */
    color: #ff7f24;
}
._cd {
    /* font-lock-_cd-face */
    color: #ff7f24;
}
._cn {
    /* font-lock-_cn-face */
    color: #7fffd4;
}
._fn {
    /* font-lock-_fn-face */
    color: #87cefa;
}
._kw {
    /* font-lock-_kw-face */
    color: #00ffff;
}
._st {
    /* font-lock-_st-face */
    color: #ffa07a;
}
.type {
    /* font-lock-type-face */
    color: #98fb98;
}
._vn {
    /* font-lock-_vn-face */
    color: #eedd82;
}

a {
    color: #c8c8c8;
    background-color: inherit;
    font: inherit;
    text-decoration: underline;
}
a:hover {
    text-decoration: underline;
}

.hsa,.hst {
    background-color:#000;
    color:#eedc82;
    border:none;
    margin-bottom:0;
}
.hsa {margin-left:20px;}
.hsa:hover,.hst:hover {
    color:#cc0000;
}