diff options
| -rw-r--r-- | extras/html/themes/default/style.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/html/themes/default/style.css b/extras/html/themes/default/style.css index 064c3d8..8814f48 100644 --- a/extras/html/themes/default/style.css +++ b/extras/html/themes/default/style.css @@ -42,7 +42,7 @@ p.header { color: #e0e0e0; font-family: code, monospace; font-size: 0.9rem; - margin: 0; + margin: 0 -52px; padding: 0.7rem 52px; border-radius: 20px 20px 0 0; } |
