diff options
Diffstat (limited to 'docs/css/main.css')
-rwxr-xr-x | docs/css/main.css | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/docs/css/main.css b/docs/css/main.css index c8aaa8ad22..84fe1d44ed 100755 --- a/docs/css/main.css +++ b/docs/css/main.css @@ -30,14 +30,21 @@ body #content { h1 { font-size: 28px; + margin-top: 12px; } h2 { font-size: 24px; + margin-top: 12px; } h3 { font-size: 21px; + margin-top: 10px; +} + +pre { + font-family: "Menlo", "Lucida Console", monospace; } code { @@ -45,15 +52,16 @@ code { background: white; border: none; padding: 0; - color: #902000; + color: #444444; } a code { color: #0088cc; } -pre { - font-family: "Menlo", "Lucida Console", monospace; +a:hover code { + color: #005580; + text-decoration: underline; } .container { |