From 113b703a695acbe31ac6dd6a8c4aa94f6fda7545 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Mon, 8 Sep 2008 00:15:04 +0200
Subject: Imported Upstream version 8.2~beta4.svn20080907+dfsg

---
 tools/coqdoc/coqdoc.css | 15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)

(limited to 'tools')

diff --git a/tools/coqdoc/coqdoc.css b/tools/coqdoc/coqdoc.css
index 3900987e..65c39b7a 100644
--- a/tools/coqdoc/coqdoc.css
+++ b/tools/coqdoc/coqdoc.css
@@ -24,7 +24,8 @@ body { padding: 0px 0px;
 #main{ display: block;
        padding: 10px;
        overflow: hidden;
-       font-size: 10pt }
+       font-size: 100%;
+       line-height: 80% }
 
 #main  a.idref:visited {color : #416DFF; text-decoration : none; }
 #main  a.idref:link {color : #416DFF; text-decoration : none; }
@@ -39,16 +40,16 @@ body { padding: 0px 0px;
 #main .keyword { color : #cf1d1d }
 #main { color: black }
 
-#main .section { background-color:#899BD6;
-                 font-size : 20pt }
+#main .section { background-color:#90bdff;
+                 font-size : 175% }
 
-#main code { font-family: monospace; 
-             line-height: 50% }
+#main code { font-family: monospace }
 
 #main .doc { margin: 0px;
              padding: 10px;
              font-family: sans-serif;
-             font-size: 11pt;
+             font-size: 100%;
+	     line-height: 100%;
              font-weight:bold;
              color: black;
              background-color: #90bdff;
@@ -58,7 +59,7 @@ body { padding: 0px 0px;
 
 /* Pied de page */
 
-#footer { font-size: 8pt;
+#footer { font-size: 65%;
           font-family: sans-serif; }
 
 #footer a:visited { color: blue; }
-- 
cgit v1.2.3