mirror of
https://github.com/jupyterhub/jupyterhub.git
synced 2025-10-18 23:42:59 +00:00
19 lines
496 B
Plaintext
19 lines
496 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: #f37524;
|
|
@jupyter-red: #e34f21;
|
|
// 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);
|
|
}
|