diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-11-03 15:32:34 +0100 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2016-11-22 01:35:07 +0100 |
commit | 7fbb4513489df11f831d69ca07a58a809493361e (patch) | |
tree | 9d8c885d1a932f567e9ae6cf1316c1454bffbe8a /docs/css | |
parent | b2143a1dd44b6a87b8a323c4440a5f2bc6897672 (diff) | |
download | dotty-7fbb4513489df11f831d69ca07a58a809493361e.tar.gz dotty-7fbb4513489df11f831d69ca07a58a809493361e.tar.bz2 dotty-7fbb4513489df11f831d69ca07a58a809493361e.zip |
Update documentation for new sbt commands
Diffstat (limited to 'docs/css')
-rw-r--r-- | docs/css/main.scss | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/docs/css/main.scss b/docs/css/main.scss index dbc5153e2..f8354e6de 100644 --- a/docs/css/main.scss +++ b/docs/css/main.scss @@ -207,7 +207,7 @@ ul.post-list { } } -pre, code { +pre, code, code.hljs { padding: 0; border: 0; border-radius: 3px; @@ -221,6 +221,11 @@ code { padding-right: 0.1em; } +pre { + padding: 0.5em; + background-color: $grey !important; +} + body { font: 400 16px/1.5 "Helvetica Neue", Helvetica, Arial, sans-serif; color: $text-color; |