Merge pull request #1030 from jlowin/banner

Reduce banner padding
This commit is contained in:
Jeremiah Lowin 2025-07-03 17:29:00 -04:00 committed by GitHub
commit af88da7aa9
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -98,7 +98,7 @@ def create_server_banner(
title=title,
title_align="left",
border_style="dim",
padding=(2, 10),
padding=(2, 5),
expand=False,
)