1 files changed, 35 insertions, 0 deletions
diff --git a/doc/default.css b/doc/default.css
new file mode 100644
index 000000000000..3f1031b74020
--- /dev/null
+++ b/doc/default.css
@@ -0,0 +1,35 @@
+
+a:link {
+  color: #454892;
+}
+a:visited {
+  color: #665556;
+}
+p {
+  text-align: justify;
+}
+font.type {
+  color: #107020;
+}
+font.func {
+  color: #1010a0;
+}
+font.arg {
+  color: #906000;
+}
+font.qual {
+  color: #501050;
+}
+tr.title {
+  background: #cbc5b8;
+}
+tr.even {
+  background: #dbdbdb;
+}
+tr.odd {
+  background: #ebebee;
+}
+div.code {
+  background: #e0e0f0;
+  padding: 10px;
+}