Document text window could be bigger.

[eliasgruenewald]

https://github.com/nickcmaynard/jsonschemalint/blob/46b9b5ac532578b3313f7b786ab32c3d40a14b4d/src/css/main.css#L13

I am working on a larger document, and I changed the document-text height to 700px, but one could also use 70% or, maybe the best option, make the textarea resizable for custom displays:

  resize: both;
  overflow: auto;

Thanks for this great tool - it serves as a very nice helper!