diff options
Diffstat (limited to 'htdocs')
| -rw-r--r-- | htdocs/results.css | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/htdocs/results.css b/htdocs/results.css index c9bc742..4b3b668 100644 --- a/htdocs/results.css +++ b/htdocs/results.css @@ -1,17 +1,15 @@ /* style sheet for the validator's results page */ -/* $Id: results.css,v 1.1 1999-10-25 11:09:21 gerald Exp $ */ +/* $Id: results.css,v 1.2 1999-10-26 12:58:58 gerald Exp $ */ .markup { color: red; -font-size: larger; font-weight: bolder; } .input { color: black; -font-size: smaller; background-color: #eeeeee; /* light grey */ } |