How do I make everything in Dungeon Crawl Stone Soup bigger? I'm playing on a high resolution monitor so the default settings make for pretty small tiles. I've looked at docs/options_guide.txt and settings/tiles_options.txt but to no avail. I am dumb. Can somebody explain how to do this in simple terms?