body {
    background: white;
    color: black
 }

a {
    background: white;
    color: blue
}

h1 {
    background: white;
    color: rgb(55%, 55%, 55%);
    font-family: monospace;
    font-size: x-large;
    text-align: center
}

h2 {
    background: white;
    color: rgb(40%, 40%, 40%);
    font-family: monospace;
    font-size: large
}

h3, h4, h5 {
    background: white;
    color: rgb(40%, 40%, 40%);
    font-family: monospace
}

em.navigation {
    font-weight: bold;
    font-style: normal;
    background: white;
    color: rgb(40%, 40%, 40%);
    font-family: monospace
}

img.toplogo {
    vertical-align: middle
}

span.check_ok {
    color: black
}
span.check_ko {
    color: red
}

span.BioC {
    color: #2C92A1
}
span.Ohat {
    color: #8A4513
}
span.Gcode {
    color: #5B8A00
}
span.Rforge {
    color: #8009AA
}

span.acronym {
    font-size: small
}
span.env {
    font-family: monospace
}
span.file {
    font-family: monospace
}
span.option{
    font-family: monospace
}
span.pkg {
    font-weight: bold
}
span.samp {
    font-family: monospace
}