Search GUI fixes The first fix is about the duplicated "in":  The second fix is about the `<select>` broken style:   You can test it [here](https://rustdoc.crud.net/imperio/search-ui-fixes/doc/foo/index.html?search=test). r? `@notriddle` |
||
|---|---|---|
| .. | ||
| azure-pipelines | ||
| docker | ||
| github-actions | ||
| scripts | ||
| channel | ||
| cpu-usage-over-time.py | ||
| init_repo.sh | ||
| pgo.sh | ||
| publish_toolstate.sh | ||
| run.sh | ||
| shared.sh | ||