diff options
Diffstat (limited to 'docs/css/main.css')
| -rwxr-xr-x | docs/css/main.css | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/docs/css/main.css b/docs/css/main.css index 263c8ef8ea..8310bc5859 100755 --- a/docs/css/main.css +++ b/docs/css/main.css @@ -10,8 +10,9 @@ } .navbar-inner { - padding-top: 5px; - padding-bottom: 5px; + padding-top: 6px; + padding-bottom: 6px; + font-size: 15px; } body #content { @@ -35,7 +36,15 @@ h3 { } code { - color: #333; + font-family: "Menlo", "Lucida Console", monospace; + background: white; + border: none; + padding: 0; + color: #902000; +} + +pre { + font-family: "Menlo", "Lucida Console", monospace; } .container { |