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