diff options
Diffstat (limited to 'website')
| -rw-r--r-- | website/style.css | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/website/style.css b/website/style.css index d99533a..497ad76 100644 --- a/website/style.css +++ b/website/style.css @@ -10,13 +10,17 @@ h1, h2, h3 { line-height: 1.2; } -pre { +pre, code { background-color: #f0f0f0; +} + +pre { padding: 1em; } code { - font-style: italic; + padding-left: 0.2em; + padding-right: 0.2em; } /* Make the svg badges clickable. */ |