diff options
| -rw-r--r-- | DOCS/default.css | 4 |
1 files changed, 4 insertions, 0 deletions
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; +} |