diff options
| author |  Stephane Glondu <steph@glondu.net> | 2008-09-08 00:15:04 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2008-09-08 00:15:04 +0200 |
| commit | 113b703a695acbe31ac6dd6a8c4aa94f6fda7545 (patch) | |
| tree | c260a140410c796f113584a2f7e6b9b7f6e00aa5 /tools | |
| parent | 870075f34dd9fa5792bfbf413afd3b96f17e76a0 (diff) | |
Imported Upstream version 8.2~beta4.svn20080907+dfsgupstream/8.2.beta4.svn20080907+dfsg
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/coqdoc/coqdoc.css | 15 |
1 files changed, 8 insertions, 7 deletions
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; } |