Thread:Extension talk:WikiEditor/The text editor is too small

I have one big problem: the text editor is only 17px height and I have no idea how to change it. Any idea to help me?