Text size for interface

See this discourse thread.