diff options
Diffstat (limited to 'htdocs')
| -rw-r--r-- | htdocs/style/results.css | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/htdocs/style/results.css b/htdocs/style/results.css index 557d95f..ac35169 100644 --- a/htdocs/style/results.css +++ b/htdocs/style/results.css @@ -1,5 +1,5 @@ /* style sheet for the validator's results page */ -/* $Id: results.css,v 1.8 2007-03-15 07:02:34 ot Exp $ */ +/* $Id: results.css,v 1.9 2007-03-23 03:52:21 ot Exp $ */ .input { color: black; @@ -318,4 +318,10 @@ p.backtop { p.backtop a:link, p.backtop a:hover, p.backtop a:visited { color: #bbc; text-deciration: none; +} + +/* document outline */ +pre.outline { + line-height: 160%; + padding-left: 1.5em; }
\ No newline at end of file |