adjusts the font size of the navigator (makes everything a bit smaller)