##// END OF EJS Templates
StreamCapturer should die if main process crashes.
StreamCapturer should die if main process crashes.

File last commit:

r11033:fa36e98f
r13517:ead40a58
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;
}