|
|
|
|
@ -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"))
|
|
|
|
|
)
|
|
|
|
|
)
|
|
|
|
|
)
|
|
|
|
|
|