cleanup, adapting selectors to new markup

1 files changed, 6 insertions, 10 deletions

diff --git a/htdocs/results.css b/htdocs/results.css
index 863d80b..a6030a2 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.29 2005-05-23 22:00:32 ot Exp $ */
+/* $Id: results.css,v 1.30 2005-05-24 00:50:55 ot Exp $ */
 
 .input {
   color: black;
@@ -124,27 +124,23 @@ ol#errors li {
 /* Source Code Display */
 /*
 */
-#source div {
+#source ol {
+
   font-family: "Bitstream Vera Sans Mono", monospace;
   font-size: smaller;
-  background: 1#eee;
+  background: #eee;
   border: 1px solid black;
   margin: 1em;
 }
-#source div pre {
+#source ol li {
   margin: 1em;
 }
 
-#source div pre a {
+#source ol li a {
   color: inherit;
   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. */
 /*