appropriate heading level when loading from JSON

IPython/html/static/notebook/js/textcell.js

@@ -365,6 +365,7 b' define(['
             this.level = data.level;
         }
         TextCell.prototype.fromJSON.apply(this, arguments);
+        this.code_mirror.setOption("theme", "heading-"+this.level);
     };