html[data-theme=dark] .app-header__content,html[data-theme=dark] .doc-controls{background-color:rgba(8,8,10,.92)}html[data-theme=dark] .doc-controls__controls-wrapper{background-color:rgba(8,8,10,.96)}html[data-theme=dark] .doc-controls__divider{background:rgba(255,255,255,.08)}