Github editor textarea enlarger

github-editor-textarea-enlarger.css

/*
. solution already provided by CodeMirror (https://codemirror.net/demo/resize.html#).
. to implement it, we must create an browser app in order to load it each time a gist editor will be opened
. in case of chrome, app already created, you can use it and follow manual for more details 
  (https://github.com/haythamdouaihy/github-editor-textarea-enlarger-chrome-ext)
*/

.CodeMirror {
  border: 1px solid #eee;
  height: auto;
}