##// END OF EJS Templates
Fix spurious appearance of #fontarea at end of document.
mcelrath -
Show More
@@ -43,8 +43,8 b' $(document).ready(function () {'
43 var ih = $('#test3').innerHeight();
43 var ih = $('#test3').innerHeight();
44 if(nh != bh || nh != ih) {
44 if(nh != bh || nh != ih) {
45 $('head').append('<style>.CodeMirror span { vertical-align: bottom; }</style>');
45 $('head').append('<style>.CodeMirror span { vertical-align: bottom; }</style>');
46 $('#fonttest').remove();
47 }
46 }
47 $('#fonttest').remove();
48
48
49 if(IPython.read_only){
49 if(IPython.read_only){
50 // hide various elements from read-only view
50 // hide various elements from read-only view
General Comments 0
You need to be logged in to leave comments. Login now