##// END OF EJS Templates
Backport PR #5534: cleanup some `pre` css inheritance...
Backport PR #5534: cleanup some `pre` css inheritance We had various overrides of the bootstrap defaults for font-size and line-height every time we made a pre tag, and then some overrides of our overrides when we wanted something slightly different. This moves the most basic overrides to apply to all pre tags, reducing the number of downstream changes we need. Should hopefully replace the CSS changes in #5488

File last commit:

r11033:fa36e98f
r16675:4a6cc50c
Show More
toolbar.less
33 lines | 586 B | text/x-less | LessCssLexer
Brian E. Granger
Splitting notebook.less into separate files.
r10730 .toolbar {
MinRK
use responsive bootstrap
r10900 padding: 0px 10px;
MinRK
menubar not full-width...
r10970 margin-top: -5px;
Brian E. Granger
Splitting notebook.less into separate files.
r10730
select, label {
MinRK
bootstrap toolbar
r10889 width: auto;
height: @baseLineHeight + 6px;
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 }
MinRK
bootstrap toolbar
r10889 .btn {
padding: 2px 8px;
}
Brian E. Granger
Splitting notebook.less into separate files.
r10730 }
MinRK
use responsive bootstrap
r10900
.toolbar .btn-group {
margin-top: 0px;
}
MinRK
menubar not full-width...
r10970
.toolbar-inner {
border: none !important;
.box-shadow(none) !important;
}
#maintoolbar {
margin-bottom: 0px;
}