Fix the pool name not being bolded in the pool navbar when doing a pool:<name> search. Previously the selected pool was only bolded when doing a pool:<id> search.
Fix the pool name not being bolded in the pool navbar when doing a pool:<name> search. Previously the selected pool was only bolded when doing a pool:<id> search.