# HG changeset patch
# User paulb
# Date 1210701927 0
# Node ID e1b43585087b206affbe19b1280434059ea79531
# Parent  4cb92cce7bd9937dd642fa02fd4dfe5f2f24b2d3
[project @ 2008-05-13 18:05:27 by paulb]
Added missing stylesheet.

diff -r 4cb92cce7bd9 -r e1b43585087b docs/styles.css
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/docs/styles.css	Tue May 13 18:05:27 2008 +0000
@@ -0,0 +1,8 @@
+  pre {
+    padding: 0.5em;
+    background-color: rgb(238, 238, 238);
+    }
+
+  pre strong {
+    background-color: rgb(200, 200, 200);
+    }