From b80e47d26cd703da5195d6134c74c485d8624b6f Mon Sep 17 00:00:00 2001
From: msozeau
Date: Thu, 8 Jan 2009 16:06:42 +0000
Subject: Minor doc fixes: - Set BIBINPUTS variable correctly so that we do not
 use any random biblio.bib file. - Update setoid_rewrite doc to new
 typeclasses syntax and fix verb -> texttt - Stop using less than 100% line
 heights in coqdoc.css

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11767 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/coqdoc/coqdoc.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/coqdoc/coqdoc.css b/tools/coqdoc/coqdoc.css
index c4e0663cdd..a9a9970663 100644
--- a/tools/coqdoc/coqdoc.css
+++ b/tools/coqdoc/coqdoc.css
@@ -25,7 +25,7 @@ body { padding: 0px 0px;
        padding: 10px;
        overflow: hidden;
        font-size: 100%;
-       line-height: 80% }
+       line-height: 100% }
 
 #main  a.idref:visited {color : #416DFF; text-decoration : none; }
 #main  a.idref:link {color : #416DFF; text-decoration : none; }
-- 
cgit v1.2.3