This is a CodeMirror element made for think.somethingorotherwhatever.com.