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