##// 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:

r19179:dc7663cc
r19311:9c060bc5
Show More
toolbar.less
52 lines | 880 B | text/x-less | LessCssLexer
Brian E. Granger
Splitting notebook.less into separate files.
r10730 .toolbar {
Jonathan Frederic
Lots of small alignment tweaks to get Bootstrap3 looking better
r16937 padding: 0px;
margin-left: -5px;
MinRK
menubar not full-width...
r10970 margin-top: -5px;
Jonathan Frederic
Kill the layout manager
r19179 margin-bottom: 5px;
Brian E. Granger
Splitting notebook.less into separate files.
r10730
select, label {
MinRK
bootstrap toolbar
r10889 width: auto;
Brian E. Granger
Splitting notebook.less into separate files.
r10730 vertical-align:middle;
margin-right:2px;
MinRK
fix select alignment on FF
r10924 margin-bottom:0px;
Brian E. Granger
Splitting notebook.less into separate files.
r10730 display: inline;
font-size: 92%;
margin-left:0.3em;
margin-right:0.3em;
padding: 0px;
MinRK
fix select alignment on FF
r10924 padding-top: 3px;
Brian E. Granger
Splitting notebook.less into separate files.
r10730 }
Jonathan Frederic
Fix automation errors.
r16914 .btn {
MinRK
bootstrap toolbar
r10889 padding: 2px 8px;
}
Matthias BUSSONNIER
move tolbar styling to css
r17434
.border-box-sizing();
Brian E. Granger
Splitting notebook.less into separate files.
r10730 }
MinRK
use responsive bootstrap
r10900
.toolbar .btn-group {
margin-top: 0px;
Jonathan Frederic
Added dropdown submenu CSS
r16928 margin-left: 5px;
MinRK
use responsive bootstrap
r10900 }
MinRK
menubar not full-width...
r10970
#maintoolbar {
Jonathan Frederic
Post discussion with @ellisonbg
r16950 margin-bottom: -3px;
margin-top: -8px;
Jonathan Frederic
Lots of small alignment tweaks to get Bootstrap3 looking better
r16937 border: 0px;
min-height: 27px;
Jonathan Frederic
Post discussion with @ellisonbg
r16950 margin-left: 32px;
Jonathan Frederic
Kill the layout manager
r19179 padding-top: 11px;
padding-bottom: 3px;
Jonathan Frederic
Added dropdown submenu CSS
r16928
Jonathan Frederic
Post discussion with @ellisonbg
r16950 .navbar-text {
float: none;
vertical-align: middle;
text-align: right;
margin-left: 5px;
margin-right: 0px;
Matthias BUSSONNIER
move tolbar styling to css
r17434 margin-top: 0px;
Jonathan Frederic
Post discussion with @ellisonbg
r16950 }
Jonathan Frederic
Make maintoolbar select dropdowns look nice
r16948 }
.select-xs {
height: @btn_small_height;
Jonathan Frederic
Added dropdown submenu CSS
r16928 }