##// END OF EJS Templates
Fixed glitch when widgetarea wouldn't get completely hidden upon re-execution
Fixed glitch when widgetarea wouldn't get completely hidden upon re-execution

File last commit:

r13547:34cf349f
r14248:94c28bc6
Show More
notificationwidget.less
10 lines | 227 B | text/x-less | LessCssLexer
/ IPython / html / static / notebook / less / notificationwidget.less
Brian E. Granger
Splitting notebook.less into separate files.
r10730 .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);
Brian E. Granger
Splitting notebook.less into separate files.
r10730 }