Is it possible to control font-size via a command or applescript or something?
----------------------------------------
I guess this is just a work-around so that I can write a command that switches:
1. Language 2. Theme 3. Font size
in one step.