diff options
Diffstat (limited to 'public/help/wiki_syntax.css')
| -rw-r--r-- | public/help/wiki_syntax.css | 1 |
1 files changed, 1 insertions, 0 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; } |