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