19 lines
497 B
Plaintext
19 lines
497 B
Plaintext
@border-radius-small: 2px;
|
|
@border-radius-base: 2px;
|
|
@border-radius-large: 3px;
|
|
@navbar-height: 40px;
|
|
@grid-float-breakpoint: @screen-xs-min;
|
|
|
|
@jupyter-orange: #A30000;
|
|
@jupyter-red: #e31134;
|
|
// color blind-friendly alternative to red/green
|
|
// from 5-class RdYlBu via colorbrewer.org
|
|
// eliminate distinction between 'primary' and 'success'
|
|
@brand-primary: #2c7bb6;
|
|
@brand-success: @brand-primary;
|
|
@brand-danger: #d7191c;
|
|
|
|
.btn-jupyter {
|
|
.button-variant(#fff; @jupyter-orange; @jupyter-red);
|
|
}
|