Merge pull request #443 from jcb91/usability/code_font_size

in `nbextensions/usability/code_font_size`:
This commit is contained in:
Juergen Hasch
2015-12-31 09:42:24 +01:00
@@ -29,7 +29,7 @@ define([
pre_style = pre_css.cssRules[0];
}
var font_size = pre_style.fontSize;
var font_size = pre_style.fontSize || "";
if(font_size == "")
font_size = 14;
else