diff options
author | ot <ot@localhost> | 2005-05-23 22:00:32 +0000 |
---|---|---|
committer | ot <ot@localhost> | 2005-05-23 22:00:32 +0000 |
commit | a6630d7892fbe5dbffdc909b53cccf370cc94e34 (patch) | |
tree | e04435b6b06de61c52bb5a70ca88c6c87ed1910e | |
parent | 9204d581ad4e78a67e1093fdd55fb2f7c074d7b8 (diff) | |
download | markup-validator-a6630d7892fbe5dbffdc909b53cccf370cc94e34.zip markup-validator-a6630d7892fbe5dbffdc909b53cccf370cc94e34.tar.gz markup-validator-a6630d7892fbe5dbffdc909b53cccf370cc94e34.tar.bz2 |
source display in monospace font (see http://lists.w3.org/Archives/Public/www-validator/2005May/0108.html)
plus adding alternate font choices for monospace
-rw-r--r-- | htdocs/base.css | 4 | ||||
-rw-r--r-- | htdocs/results.css | 9 |
2 files changed, 7 insertions, 6 deletions
diff --git a/htdocs/base.css b/htdocs/base.css index 1d730be..9ce3b30 100644 --- a/htdocs/base.css +++ b/htdocs/base.css @@ -4,7 +4,7 @@ Copyright 2000-2005 W3C (MIT, INRIA, Keio). All Rights Reserved. See http://www.w3.org/Consortium/Legal/ipr-notice.html#Copyright - $Id: base.css,v 1.53 2005-05-17 05:46:58 ot Exp $ + $Id: base.css,v 1.54 2005-05-23 22:00:32 ot Exp $ */ @import url("results.css"); /* CSS for validation results. */ @@ -224,7 +224,7 @@ abbr[title], acronym[title], span[title], strong[title] { } pre, code, tt { - font-family: "Bitstream Vera Sans Mono", monospace; + font-family: "Bitstream Vera Sans Mono", Monaco, "Andale Mono", monospace; line-height: 100%; white-space: pre; } diff --git a/htdocs/results.css b/htdocs/results.css index a56de22..863d80b 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.28 2005-05-17 05:22:36 ot Exp $ */ +/* $Id: results.css,v 1.29 2005-05-23 22:00:32 ot Exp $ */ .input { color: black; @@ -140,6 +140,10 @@ ol#errors li { background-color: transparent; text-decoration: none; } +ol.source li { + white-space: normal; + font-family: "Bitstream Vera Sans Mono", Monaco, "Andale Mono", monospace; +} /* Style for non-parser warnings. */ @@ -257,9 +261,6 @@ img.inline-badge { float: left; } -.source code { - white-space: normal; -} div.mtb { /* "Medium Thematic Break" */ margin-top: 5em; |