2019-06-12 17:27:46 +02:00
|
|
|
// Used in layout
|
2019-10-03 15:07:38 +02:00
|
|
|
$padding-1: 1px !default;
|
|
|
|
$padding-4: 0.25rem !default;
|
|
|
|
$padding-8: 0.5rem !default;
|
|
|
|
$padding-16: 1rem !default;
|
2018-09-05 16:22:04 +02:00
|
|
|
|
2019-10-03 15:07:38 +02:00
|
|
|
$font-size-base: 16px !default;
|
|
|
|
$font-size-12: 0.75rem !default;
|
|
|
|
$font-size-14: 0.875rem !default;
|
|
|
|
$font-size-16: 1rem !default;
|
2018-09-05 16:22:04 +02:00
|
|
|
|
2019-10-03 15:07:38 +02:00
|
|
|
$border-radius: 0.15rem !default;
|
2019-06-19 13:58:46 +02:00
|
|
|
|
2018-09-05 16:22:04 +02:00
|
|
|
// Grayscale
|
2019-10-03 15:07:38 +02:00
|
|
|
$white: #ffffff !default;
|
|
|
|
$gray-100: #f8f9fa !default;
|
|
|
|
$gray-200: #e9ecef !default;
|
|
|
|
$gray-300: #dee2e6 !default;
|
|
|
|
$gray-400: #ced4da !default;
|
|
|
|
$gray-500: #adb5bd !default;
|
|
|
|
$gray-600: #868e96 !default;
|
|
|
|
$gray-700: #495057 !default;
|
|
|
|
$gray-800: #343a40 !default;
|
|
|
|
$gray-900: #212529 !default;
|
|
|
|
$black: #000 !default;
|
|
|
|
|
2019-10-03 18:15:24 +02:00
|
|
|
$color-link: #05b !default;
|
2019-10-03 15:07:38 +02:00
|
|
|
$color-visited-link: #8440f1 !default;
|
|
|
|
$color-dark-link: $gray-800 !default;
|
|
|
|
|
|
|
|
$body-background: white !default;
|
|
|
|
$body-font-color: $gray-800 !default;
|
|
|
|
$body-font-weight: normal !default;
|
|
|
|
|
|
|
|
$body-min-width: 20rem !default;
|
|
|
|
$container-max-width: 80rem !default;
|
|
|
|
|
|
|
|
$header-height: 3.5rem !default;
|
|
|
|
$menu-width: 16rem !default;
|
|
|
|
$toc-width: 16rem !default;
|
|
|
|
|
|
|
|
$md-breakpoint: $menu-width + $body-min-width * 1.25 + $toc-width !default;
|
|
|
|
$sm-breakpoint: $menu-width + $body-min-width !default;
|
2019-10-03 18:15:24 +02:00
|
|
|
|
|
|
|
// Panel colors
|
|
|
|
$hint-colors: (
|
|
|
|
info: #6bf,
|
|
|
|
warning: #fd6,
|
|
|
|
danger: #f66
|
|
|
|
);
|