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