diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/style.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/style.css b/docs/style.css index 19a3b2f8..36637c57 100644 --- a/docs/style.css +++ b/docs/style.css @@ -35,7 +35,7 @@ code { } pre { font-family: monospace; - margin: 1.6em 0; + margin: 1.6em 0.4em; padding: 0.8em; font-size: 1.16em; line-height: 1.4; |