From 8d884aeb65e4af35f8032ada9b3851e1094f8f65 Mon Sep 17 00:00:00 2001 From: phg Date: Thu, 14 Aug 2025 20:33:02 +0200 Subject: [PATCH] Remove unnecessary spacer and adjust margins in the hosts manager UI for improved layout consistency. --- src/hosts/tui/app.py | 3 --- src/hosts/tui/styles.py | 10 ++++++---- 2 files changed, 6 insertions(+), 7 deletions(-) diff --git a/src/hosts/tui/app.py b/src/hosts/tui/app.py index ea1bff5..f5de683 100644 --- a/src/hosts/tui/app.py +++ b/src/hosts/tui/app.py @@ -71,9 +71,6 @@ class HostsManagerApp(App): yield Header() yield Footer() - # Spacer - yield Static("", classes="spacer") - # Search bar above the panes with Horizontal(classes="search-container") as search_container: search_container.border_title = "Search" diff --git a/src/hosts/tui/styles.py b/src/hosts/tui/styles.py index f977afb..ec61e37 100644 --- a/src/hosts/tui/styles.py +++ b/src/hosts/tui/styles.py @@ -11,7 +11,8 @@ HOSTS_MANAGER_CSS = """ border: round $primary; height: 3; padding: 0 1; - margin-bottom: 1; + margin-top: 1; + margin-bottom: 0; } .search-input { @@ -21,20 +22,21 @@ HOSTS_MANAGER_CSS = """ } .hosts-container { - height: 1fr; + # height: 1fr; + margin-top: 0; } .left-pane { width: 60%; border: round $primary; - margin: 1; + margin: 0; padding: 1; } .right-pane { width: 40%; border: round $primary; - margin: 1; + margin: 0; padding: 1; }