ASK's preferences organization could use some work. What you want is in the ‘select theme’ screen: press the gear, then see ‘keys height factor’.