Utilisateur:Geertivp/common.css

Remarque: après avoir sauvegardé, vous devez vider le cache de votre navigateur pour que les changements prennent effet. Mozilla, cliquez sur Actualiser (ou ctrl-r). Internet Explorer / Opera: ctrl-f5. Safari: cmd-r. Konqueror ctrl-r.

#toc {
        border:1px solid #aaa;
        background-color: #eed;
        padding: 5px;
        margin: 0px 5px;
        font-size: 95%;
        float: right;
}