[Bugfix] codeMirror height in discussion forum posts (#3516)
[Bugfix] codeMirror height in discussion forum posts (#3516)


RCOS-Grading-Server/HWserver,Submitty/Submitty,Submitty/Submitty,RCOS-Grading-Server/HWserver,Submitty/Submitty,Submitty/Submitty,Submitty/Submitty,Submitty/Submitty,RCOS-Grading-Server/HWserver,RCOS-Grading-Server/HWserver,RCOS-Grading-Server/HWserver,RCOS-Grading-Server/HWserver,Submitty/Submitty,Submitty/Submitty,RCOS-Grading-Server/HWserver,Submitty/Submitty,RCOS-Grading-Server/HWserver,RCOS-Grading-Server/HWserver