diff options
Diffstat (limited to 'doc/docs.css')
| -rw-r--r-- | doc/docs.css | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/docs.css b/doc/docs.css index ccf5a488a..a8d73d21e 100644 --- a/doc/docs.css +++ b/doc/docs.css @@ -91,6 +91,11 @@ padding:5px; } +code { + font-family:courier, serif; + font-size:12px; +} + .codeline { font-family:courier, serif; font-size:12px; |