##// END OF EJS Templates
tweak raw_input style...
tweak raw_input style more crowded, less jumpy

File last commit:

r9367:1249a2fc
r10376:641fc2f7
Show More
style.less
7 lines | 202 B | text/x-less | LessCssLexer
@import "bootstrap-custom.less";
@import "variables.less";
@import "flexible-box-model.less";
@import "notebook.less";
@import "printnotebook.less";
@import "renderedhtml.less";
@import "tooltip.less";