style(right_pane): improve header space slightly

This commit is contained in:
Elian Doran 2025-12-18 15:57:48 +02:00
parent 02294206ec
commit 7b04ca8cc7
No known key found for this signature in database
2 changed files with 11 additions and 3 deletions

View File

@ -6,9 +6,13 @@ body.experimental-feature-new-layout #right-pane {
border-bottom: 1px solid var(--main-border-color);
border-radius: 0;
.card-header {
padding-block: 0.2em;
.card-header-title {
padding-inline: 0.5em;
}
}
&:last-of-type {
border-bottom: 0;
@ -18,4 +22,8 @@ body.experimental-feature-new-layout #right-pane {
transform: rotate(-90deg);
}
}
.gutter-vertical + .card .card-header {
padding-top: 0;
}
}

View File

@ -12,7 +12,7 @@ import HighlightsList from "./HighlightsList";
import TableOfContents from "./TableOfContents";
const MIN_WIDTH_PERCENT = 5;
const COLLAPSED_SIZE = 32;
const COLLAPSED_SIZE = 25;
export const RightPanelContext = createContext({
setExpanded(cardEl: HTMLElement, expanded: boolean) {}