Correction (merci Lucile)

[website.git] / local.css

diff --git a/local.css b/local.css
index ea028a7cab11d2dd62c5344793884cb120603d98..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;