The conversion to HTML creates proper XHTML.

[xmldoc.git] / doc / main.css

diff --git a/doc/main.css b/doc/main.css
index dbb3494..bf4e975 100644 (file)
--- a/doc/main.css
+++ b/doc/main.css
@@ -49,6 +49,13 @@ p
    font-size : 100%;
 }
 
+pre.example
+{
+   background : lightblue ;
+   width      : 90% ;
+   margin-left: 5% ;
+}
+
 span.remark
 {
    font-size : 90%;