diff options
author | ot <ot@localhost> | 2005-05-11 05:53:41 +0000 |
---|---|---|
committer | ot <ot@localhost> | 2005-05-11 05:53:41 +0000 |
commit | 4df4cc0c4ab6f70b1d4c4bc8f73b1e6657797758 (patch) | |
tree | 9ed86d1b20acd72e1393ec442589d56db4c4309b | |
parent | df9537e86b4435701267a83424829b6912cb0fd6 (diff) | |
download | markup-validator-4df4cc0c4ab6f70b1d4c4bc8f73b1e6657797758.zip markup-validator-4df4cc0c4ab6f70b1d4c4bc8f73b1e6657797758.tar.gz markup-validator-4df4cc0c4ab6f70b1d4c4bc8f73b1e6657797758.tar.bz2 |
site-wide increase in line-height
(130% in general, 140 for doc, a little lower for error messages expl)
-rw-r--r-- | htdocs/docs.css | 6 | ||||
-rw-r--r-- | htdocs/results.css | 9 |
2 files changed, 9 insertions, 6 deletions
diff --git a/htdocs/docs.css b/htdocs/docs.css index f8bca67..f0bdb37 100644 --- a/htdocs/docs.css +++ b/htdocs/docs.css @@ -4,7 +4,7 @@ Copyright 2003 W3C (MIT, INRIA, Keio). All Rights Reserved. See <http://www.w3.org/Consortium/Legal/ipr-notice.html#Copyright> - $Id: docs.css,v 1.5 2005-02-16 03:28:54 ot Exp $ + $Id: docs.css,v 1.6 2005-05-11 05:53:41 ot Exp $ */ /* @@ -24,9 +24,9 @@ margin-right: 1em; } -/* Set line height to 1.5x to allow for various inline decoration. */ +/* Set line height to 1.4x (from 1.3x on general site) to allow for various inline decoration. */ .doc { - line-height: 115%; + line-height: 140%; } /* documentation - table of contents */ diff --git a/htdocs/results.css b/htdocs/results.css index 4244876..4c2c843 100644 --- a/htdocs/results.css +++ b/htdocs/results.css @@ -1,5 +1,5 @@ /* style sheet for the validator's results page */ -/* $Id: results.css,v 1.25 2005-05-10 07:13:44 ot Exp $ */ +/* $Id: results.css,v 1.26 2005-05-11 05:53:41 ot Exp $ */ .input { color: black; @@ -58,14 +58,17 @@ span.msg_info { /* these messages are not errors */ } .ve p { - line-height: 100%; + line-height: 110%; margin: 1ex 5em 1ex 1em; text-align: justify; } p.helpwanted { + padding: 0; margin-left: auto; - margin-right: auto; + margin-right: 5px; + margin-top: -2em; + margin-bottom: 2em; font-size: x-small; color: #888; text-align: right; |