summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorot <ot@localhost>2005-05-11 05:53:41 +0000
committerot <ot@localhost>2005-05-11 05:53:41 +0000
commit4df4cc0c4ab6f70b1d4c4bc8f73b1e6657797758 (patch)
tree9ed86d1b20acd72e1393ec442589d56db4c4309b
parentdf9537e86b4435701267a83424829b6912cb0fd6 (diff)
downloadmarkup-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.css6
-rw-r--r--htdocs/results.css9
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;