diff --git a/DOCS/default.css b/DOCS/default.css
new file mode 100644
index 0000000000..7bf59c0330
--- /dev/null
+++ b/DOCS/default.css
@@ -0,0 +1,4 @@
+body	{
+	font-family : Arial, Helvetica, sans-serif;
+	font-size   : 14px;
+}