diff options
Diffstat (limited to 'website')
| -rw-r--r-- | website/style.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/website/style.css b/website/style.css index aa172ad..9bae093 100644 --- a/website/style.css +++ b/website/style.css @@ -16,6 +16,10 @@ pre { padding: 1em; } +code { + font-style: italic; +} + /* Make the svg badges clickable. */ object { pointer-events: none; |