.search-menu .search-link .badge-category{display:inline-block}.search-menu .search-input input.search-term__input{width:100%}
/*# sourceMappingURL=mobile_theme_5_a08512f301a46962f3518cd539c1cc9556d09058.css.map?__ws=forum.netlogo.org */