The box might be a bit bigger, but ... I don't really care. My browser (Google Chrome) let's me resize textareas.

And ... I don't think asking for a very very basic knowledge of HTML on a forum for programmers is too much. Wait ... "approved html tags" list? I've never looked at the list until you mentioned it. As others said <p> and <code> is all you're gonna need most of the time.