pre{overflow:auto}.wy-side-nav-search .wy-dropdown>a img.logo,.wy-side-nav-search>a img.logo{width:275px}img.platform-icon{height:2ex}html[data-theme="dark"]{.wy-side-nav-search .wy-dropdown>a img.logo,.wy-side-nav-search>a img.logo{content:url("../logo-dark.svg")}img.platform-icon{filter:invert(1);background-color:transparent!important}}