.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_a788e4d11f11e8a3612fa417e103f5afbcf9888d.css.map?__ws=igraph.discourse.group */