diff --git a/doc/supplemental-ui/css/site-extra.css b/doc/supplemental-ui/css/site-extra.css index f723e8c70..c340b6e68 100644 --- a/doc/supplemental-ui/css/site-extra.css +++ b/doc/supplemental-ui/css/site-extra.css @@ -1,4 +1,30 @@ -/* Overall code block styling - Modern dark theme */ +/* ======================================== + TOC SIDEBAR - Push to right edge + ======================================== */ +aside.toc.sidebar { + margin-left: 0; + margin-right: auto; +} + +/* ======================================== + MAIN CONTENT - Expand to fill space + ======================================== */ +@media screen and (min-width: 1024px) { + article.doc { + max-width: 1600px; + flex-grow: 1; + } + + /* Alternative: if the parent uses grid */ + .body { + grid-template-columns: auto 1fr auto; + } +} + +/* ======================================== + CODE BLOCK STYLING - Modern dark theme + ======================================== */ + .listingblock .content pre, .listingblock .content pre.highlight, pre.highlight code.language-c\+\+ {