# HG changeset patch
# User gabucino
# Date 1023873216 0
# Node ID e2a5d7b501ff1204f6be9cdeb78adb846068922f
# Parent  6cc6d0365416f1c5639f0d2a306a5c5bc8a841ee
default style

diff -r 6cc6d0365416 -r e2a5d7b501ff DOCS/default.css
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/DOCS/default.css	Wed Jun 12 09:13:36 2002 +0000
@@ -0,0 +1,4 @@
+body	{
+	font-family : Arial, Helvetica, sans-serif;
+	font-size   : 14px;
+}