From f1ecc15f4513706ecd7a485fec7f0a963fe91e0f Mon Sep 17 00:00:00 2001 From: perf3ct Date: Mon, 24 Mar 2025 21:18:37 +0000 Subject: [PATCH] might have to delete this later, fixing the right-pane-container --- src/public/app/layouts/desktop_layout.ts | 20 +++----------------- 1 file changed, 3 insertions(+), 17 deletions(-) diff --git a/src/public/app/layouts/desktop_layout.ts b/src/public/app/layouts/desktop_layout.ts index 6a515d372..c8924ad0b 100644 --- a/src/public/app/layouts/desktop_layout.ts +++ b/src/public/app/layouts/desktop_layout.ts @@ -255,23 +255,9 @@ export default class DesktopLayout { .child( new RightPaneContainer() .id("right-pane-container") - .child( - new FlexContainer("row") - .id("right-pane-tab-container") - .css("height", "40px") - .css("padding", "5px 10px") - .css("border-bottom", "1px solid var(--main-border-color)") - .css("background-color", "var(--accented-background-color)") - ) - .child( - new FlexContainer("column") - .id("right-pane-content-container") - .css("flex-grow", "1") - .css("overflow", "hidden") - .child(new TocWidget()) - .child(new HighlightsListWidget()) - .child(...this.customWidgets.get("right-pane")) - ) + .child(new TocWidget()) + .child(new HighlightsListWidget()) + .child(...this.customWidgets.get("right-pane")) ) ) )