diff options
Diffstat (limited to 'docs')
-rwxr-xr-x | docs/css/main.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/css/main.css b/docs/css/main.css index 89305a7d3a..d770173be1 100755 --- a/docs/css/main.css +++ b/docs/css/main.css @@ -74,6 +74,10 @@ code { color: #444444; } +div .highlight pre { + font-size: 12px; +} + a code { color: #0088cc; } |