diff options
Diffstat (limited to 'public/help/wiki_syntax_detailed.css')
| -rw-r--r-- | public/help/wiki_syntax_detailed.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/public/help/wiki_syntax_detailed.css b/public/help/wiki_syntax_detailed.css index b6ae88e81..08fb68c68 100644 --- a/public/help/wiki_syntax_detailed.css +++ b/public/help/wiki_syntax_detailed.css @@ -1,6 +1,6 @@ body { font:80% Verdana,Tahoma,Arial,sans-serif; } h1, h2, h3, h4 { font-family: Trebuchet MS,Georgia,"Times New Roman",serif; } -pre, code { font-size:120%; } +pre, code { font-size:120%; font-family: Consolas, Menlo, "Liberation Mono", Courier, monospace; } pre code { font-size:100%; } pre { margin: 1em 1em 1em 1.6em; |