Fichiers PO mis à jour.

[website.git] / local.css

diff --git a/local.css b/local.css
index 2b15374e23488d430b312d28025b3c2c131dffef..b170e8f28ad9db66b579e5b78cbd0ae554d4f464 100644 (file)
--- a/local.css
+++ b/local.css
@@ -49,6 +49,14 @@ pre {
        font-size-adjust: 0.535;
 }
 
+dt {
+       font-weight: bold;
+}
+
+thead td {
+       text-decoration: underline;
+}
+
 .page {
        overflow: hidden;
        max-width: 54em;
@@ -378,7 +386,6 @@ pre {
 
 #footer #pageinfo {
        position: relative;
-       max-width: 30em;
        margin: auto;
        padding: 0.1em 2em;
        border-top: none;