diff options
Diffstat (limited to 'public/help')
-rw-r--r-- | public/help/wiki_syntax.css | 1 | ||||
-rw-r--r-- | public/help/wiki_syntax_detailed.css | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/public/help/wiki_syntax.css b/public/help/wiki_syntax.css index ca2c04f76..597df47b1 100644 --- a/public/help/wiki_syntax.css +++ b/public/help/wiki_syntax.css @@ -1,5 +1,6 @@ h1 { font-family: Verdana, sans-serif; font-size: 14px; text-align: center; color: #444; } body { font-family: Verdana, sans-serif; font-size: 12px; color: #444; } +pre, code {font-family: Consolas, Menlo, "Liberation Mono", Courier, monospace; } table th { padding-top: 1em; } table td { vertical-align: top; background-color: #f5f5f5; height: 2em; vertical-align: middle;} table td code { font-size: 1.2em; } 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; |