diff options
Diffstat (limited to 'docs/public/index.css')
| -rw-r--r-- | docs/public/index.css | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/public/index.css b/docs/public/index.css index b48f70862..ba7fce412 100644 --- a/docs/public/index.css +++ b/docs/public/index.css @@ -219,7 +219,6 @@ 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); |