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

r15115:abcf96b3
r16675:4a6cc50c
Show More
notificationwidget.less
13 lines | 270 B | text/x-less | LessCssLexer
/ IPython / html / static / notebook / less / notificationwidget.less
Brian E. Granger
Add edit/command mode indicator.
r15115 .notification_widget {
MinRK
compress menubar a few pixels vertically
r10971 color: @navbarLinkColor;
padding: 1px 12px;
margin: 2px 4px;
Brian E. Granger
Splitting notebook.less into separate files.
r10730 z-index: 10;
MinRK
bootstrapify notification widget
r10932 border: 1px solid #ccc;
Matthias BUSSONNIER
use baseBorderRadius instead of corner_radius...
r13547 border-radius: @baseBorderRadius;
MinRK
bootstrapify notification widget
r10932 background: rgba(240, 240, 240, 0.5);
Matthias BUSSONNIER
more subtle kernel indicator...
r15042
&.span {
padding-right:2px;
}
Brian E. Granger
Splitting notebook.less into separate files.
r10730 }