Use bigger fonts for search
Merge pull request #2955 from dinhviethoa/search-bigger-fonts

Use bigger fonts for search