##// END OF EJS Templates
Changed selection widget API to use labels list...
Changed selection widget API to use labels list for mapping custom str reprs to items in the selection list

File last commit:

r13547:34cf349f
r14709:eab8dac4
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 }