span.email:after 
{
    content: "@cavaille.net";
}

div.tip p
{
    text-align: justify;
    text-indent: 2em;
}

div.top-dash
{
    border-top: 1px dashed #999;
}

p.mod-date
{
    font-size: small;
    color: #828282;
    margin-top: 0px;
}

div.backrefs
{
    margin-bottom: 20px;
}