diff options
Diffstat (limited to 'docs/public/index.css')
| -rw-r--r-- | docs/public/index.css | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/public/index.css b/docs/public/index.css index ba7fce412..b48f70862 100644 --- a/docs/public/index.css +++ b/docs/public/index.css @@ -219,6 +219,7 @@ pre { --padding-inline: 2rem; padding: var(--padding-block) var(--padding-inline); padding-right: calc(var(--padding-inline) * 2); + margin-top: calc(var(--padding-inline) * 0.5); margin-left: calc(var(--padding-inline) * -1); margin-right: calc(var(--padding-inline) * -1); font-family: var(--font-mono); |