diff options
author | Pierre Letouzey <pierre.letouzey@inria.fr> | 2014-12-05 17:18:37 +0100 |
---|---|---|
committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2014-12-09 12:14:40 +0100 |
commit | 229e6cd0d380555f6764d92b2cc2c2c1326d88be (patch) | |
tree | e90b2b5f10301fc4904fc0220ffa8aefea19fa63 /tools/coqdoc | |
parent | 5d2b096f29adf3d139c4de46321e26790e9b4211 (diff) |
coqdoc.css: fix a few errors
Diffstat (limited to 'tools/coqdoc')
-rw-r--r-- | tools/coqdoc/coqdoc.css | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/tools/coqdoc/coqdoc.css b/tools/coqdoc/coqdoc.css index 44399cd8b..dbc930f5e 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 { |