restore CSS height-size of .file_content as it is needed for generated text-files that round-trip back to the browser
restore CSS height-size of .file_content as it is needed for generated text-files that round-trip back to the browser

cyber-dojo/web,cyber-dojo/web,cyber-dojo/web,cyber-dojo/web