References #1928: Adjusted font size so icons render better on Windows