diff -r 000000000000 -r 7f656887cf89 documentation/documentation-style.css
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/documentation/documentation-style.css	Wed Jun 23 15:52:26 2010 +0100
@@ -0,0 +1,14 @@
+code
+	{
+	font-family: monospace;
+	background-color: #FFFDDF;
+	padding:1px;
+	border:1px solid #EEECCE;
+	}
+
+body
+	{
+	background-color: #FFFFFF;
+	font-family: verdana, sans-serif;
+	font-size: 12px;
+	}