From 624f6b0a95d9f6675520e85e1b659cfbcc8637ce Mon Sep 17 00:00:00 2001 From: xavix-yo Date: Wed, 22 Jul 2026 10:23:12 +0100 Subject: [PATCH] css: add tool-detail-page to hidden-by-default selectors --- web/css/page-shell.css | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/web/css/page-shell.css b/web/css/page-shell.css index c88eafc..831f5a1 100644 --- a/web/css/page-shell.css +++ b/web/css/page-shell.css @@ -61,7 +61,8 @@ project-board-section { session-detail-page, tic-sessions-page, -file-viewer-page { +file-viewer-page, +tool-detail-page { display: none; /* toggled by JS */ flex-direction: column; flex: 1;