Increase font size in translation textarea

Fixes #272