From 229e6cd0d380555f6764d92b2cc2c2c1326d88be Mon Sep 17 00:00:00 2001
From: Pierre Letouzey
Date: Fri, 5 Dec 2014 17:18:37 +0100
Subject: coqdoc.css: fix a few errors

---
 tools/coqdoc/coqdoc.css | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/tools/coqdoc/coqdoc.css b/tools/coqdoc/coqdoc.css
index 44399cd8b0..dbc930f5ec 100644
--- a/tools/coqdoc/coqdoc.css
+++ b/tools/coqdoc/coqdoc.css
@@ -75,7 +75,7 @@ h4.section {
                    padding-top: 0px; 
                    padding-bottom: 0px; 
                    font-size : 100%;
-                   font-style : bold;
+                   font-weight : bold;
                    text-decoration : underline;
  }
 
@@ -86,8 +86,7 @@ h4.section {
              max-width: 40em;
              color: black;
 	     padding: 10px;
-             background-color: #90bdff;
-             border-style: plain}
+             background-color: #90bdff }
 
 .inlinecode { 
     display: inline;
@@ -318,7 +317,6 @@ tr.infrulemiddle hr {
 #index #footer {
     position: absolute;
     bottom: 0;
-    text-align: bottom;
 }
 
 .paragraph {
-- 
cgit v1.2.3