body {
    border-left: 1px solid blue;
    padding-left: 10px;
    margin-bottom: 20px;
}
.menu {
    /* font-family: monospace; N'A PAS D'EFFET. à cause du "*" dans global.css ? */
    font-size: 16px;
    font-weight: bold;
}
.menu ul {
    margin: 0;
    padding:0;
}
.menu li {
    list-style: none;
    display: inline;
}
.menu a {
    text-decoration: none;
    color: #76A8FF;
}
.menu_encours {
    color: red;
}