make docu a bit prettier

diff --git a/doc/style.css b/doc/style.css
new file mode 100644 (file)
index 0000000..31566e2
--- /dev/null
+++ b/doc/style.css
@@ -0,0 +1,6 @@
+pre {
+        background-color: #ddd ; 
+        border-style: dashed ; 
+        border-width: 1px ; 
+        padding: 4px ; 
+}
\ No newline at end of file