Ajout copyrights, licence et liens vers l'auteur du logo

[website.git] / local.css

diff --git a/local.css b/local.css
index a1626b4ae224ba23c23941a984eca78dc5cd955d..a7adde2cdb9ebac7a5082b764d3a96771a78ab24 100644 (file)
--- a/local.css
+++ b/local.css
@@ -402,7 +402,7 @@ pre {
 
 #footer #pageinfo div {
        font-size: 80%;
-       margin-top: 0.5em;
+       margin-top: 0;
        margin-bottom: 0;
 }
 /* #footer }}} */