##// END OF EJS Templates
setting an option to null sets the default in CodeMirror...
setting an option to null sets the default in CodeMirror matching the unset behavior in config

File last commit:

r16912:30744239
r19311:9c060bc5
Show More
quickhelp.less
15 lines | 221 B | text/x-less | LessCssLexer
MinRK
use box-flex to layout quickhelp
r15899 .quickhelp {
.hbox();
}
Brian E. Granger
Splitting notebook.less into separate files.
r10730 .shortcut_key {
display: inline-block;
MinRK
use box-flex to layout quickhelp
r15899 width: 20ex;
Brian E. Granger
Splitting notebook.less into separate files.
r10730 text-align: right;
Jonathan Frederic
Get notebook running with Bootstrap3
r16912 font-family: @font-family-monospace;
Brian E. Granger
Splitting notebook.less into separate files.
r10730 }
.shortcut_descr {
Paul Ivanov
two column quickhelp dialog, closes #3895...
r11981 display: inline-block;
MinRK
use box-flex to layout quickhelp
r15899 .box-flex1();
Paul Ivanov
two column quickhelp dialog, closes #3895...
r11981 }