.d-header-icons .d-icon-bars,.d-header-icons .d-icon-search{fill:var(--header_primary)}.d-header-icons .d-icon-bars:hover,.d-header-icons .d-icon-search:hover{fill:var(--primary)}code{white-space:pre-wrap}
/*# sourceMappingURL=common_theme_6_938d67c3d19b39f588a87f9defc69b54bc54a145.css.map?__ws=igraph.discourse.group */