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
}
