I'd say I'm ready to merge the experimental and main branches. Let's hope this works!
Changelog:
* Variable font sizes! Should be of some assistance to people on high resolution screens. You'll find the dropdown in the "Options" menu.
(Click to enlarge)
* Fixed multithreading bug that could cause a random crash in long running games.
* Improved alignment of some UI features.