CSS for reference pages

diff --git a/xsl/doc/ref.css b/xsl/doc/ref.css
new file mode 100644 (file)
index 0000000..9f53f2d
--- /dev/null
+++ b/xsl/doc/ref.css
@@ -0,0 +1,31 @@
+div.informalexample        { background-color: #d5dee3;
+                             border-top-width: 2px;
+                             border-top-style: double;
+                             border-top-color: #d3d3d3;
+                             border-bottom-width: 2px;
+                             border-bottom-style: double;
+                             border-bottom-color: #d3d3d3;
+                             padding: 4px;
+                             margin: 0em;
+                             margin-left: 2em;
+                           }
+
+pre.programlisting         { whitespace: pre;
+                             font-family: monospace;
+                             background-color: #d5dee3;
+                             border-top-width: 1px;
+                             border-top-style: single;
+                             border-top-color: #d3d3d3;
+                             border-bottom-width: 1px;
+                             border-bottom-style: single;
+                             border-bottom-color: #d3d3d3;
+                             padding: 4px;
+                             margin: 0em;
+                           }
+
+div.informalexample pre    { whitespace: pre;
+                             font-family: monospace;
+                             border-top-width: 0px;
+                             border-bottom-width: 0px;
+                             padding: 0px;
+                           }