Ajout d'une version du logo pour afficher sur les pages de Mailman

[website.git] / local.css

diff --git a/local.css b/local.css
index de4b4295747815336729a433bb3fd6e23b0d91a3..938a948664ce002a27eccff52a509321efc2c6e6 100644 (file)
--- a/local.css
+++ b/local.css
@@ -224,10 +224,6 @@ pre {
        color: #a756af;
        background: transparent;
        font-weight: normal;
-}
-
-.sidebar ul li > span,
-.sidebar ul li > a {
        font-size: 100%;
 }
 
@@ -376,9 +372,6 @@ pre {
        text-align: center;
        color: white;
        background: #57075f;
-       background: -webkit-linear-gradient(#001030, #57075f);
-       background:    -moz-linear-gradient(#001030, #57075f);
-       background:         linear-gradient(#001030, #57075f);
        z-index: 400;
 }
 
@@ -405,7 +398,7 @@ pre {
 
 #footer #pageinfo div {
        font-size: 80%;
-       margin-top: 0.5em;
+       margin-top: 0;
        margin-bottom: 0;
 }
 /* #footer }}} */
@@ -483,6 +476,11 @@ pre {
                border-bottom: solid #ccc 1px;
        }
 
+       #content a:link:after,
+       #content a:visited:after {
+               content:" [" attr(href) "] ";
+       }
+
        #footer {
                margin-top: 2em;
                text-align: left;