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