diff options
| -rw-r--r-- | website/style.css | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/website/style.css b/website/style.css index 708d9aa..aa172ad 100644 --- a/website/style.css +++ b/website/style.css @@ -11,6 +11,11 @@ h1, h2, h3 { line-height: 1.2; } +pre { + background-color: #f0f0f0; + padding: 1em; +} + /* Make the svg badges clickable. */ object { pointer-events: none; |