diff options
| -rw-r--r-- | website/style.css | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/website/style.css b/website/style.css index 4f310ce..01c655e 100644 --- a/website/style.css +++ b/website/style.css @@ -6,17 +6,13 @@ body { padding: 0 10px; } -pre, code { - background-color: #f0f0f0; -} - pre { + background-color: #f0f0f0; padding: 1em; } -code { - padding-left: 0.2em; - padding-right: 0.2em; +code, samp { + font-size: 0.8em; } /* Make the SVG badges clickable. */ |