body
{
    font-family: sans-serif;
    color: #333333;
}

.refs
{
    position: fixed;
    width: 10em;
    left: 0px;
    top: 0px;
    height: 100%;
    border-right: thin solid gray;
    padding: 1ex;
}

.refs h1
{
    font-size: larger;
    font-family: bold;
    color: #9C2C2C;
}

.refs ul
{
    list-style: none;
    padding: 0;
}

.refs ul li
{
    margin: 0;
    padding: 2px;
    vertical-align: middle;
}

.refs a
{
    text-decoration: none;
    display: block;
    line-height: 1.5em;
}
.refs a:hover
{
    background: #999
}

body
{
    padding-left: 13em;
}

.exos li
{
    margin: 1ex 0;
}

p.corrige
{
    margin: 2em;
    border: 1px solid #993333;
    padding: .5em;
    background-color: #dfdddd;
}

.update
{
    color: red;
}

.algo .new,
.update
{
    color: red;
}

.algo .false,
.update.false
{
    text-decoration: line-through;
    color: red;
}

div.vrac
{ display: none; }

div.hint
{
    float: right;
    margin: 0 10em;
    border: solid thin green;
    padding: .3ex 1em;
    color: green;
}