##// 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
.toolbar {
padding: 0px;
margin-left: -5px;
margin-top: -5px;
margin-bottom: 5px;
select, label {
width: auto;
vertical-align:middle;
margin-right:2px;
margin-bottom:0px;
display: inline;
font-size: 92%;
margin-left:0.3em;
margin-right:0.3em;
padding: 0px;
padding-top: 3px;
}
.btn {
padding: 2px 8px;
}
.border-box-sizing();
}
.toolbar .btn-group {
margin-top: 0px;
margin-left: 5px;
}
#maintoolbar {
margin-bottom: -3px;
margin-top: -8px;
border: 0px;
min-height: 27px;
margin-left: 32px;
padding-top: 11px;
padding-bottom: 3px;
.navbar-text {
float: none;
vertical-align: middle;
text-align: right;
margin-left: 5px;
margin-right: 0px;
margin-top: 0px;
}
}
.select-xs {
height: @btn_small_height;
}