2020-02-27 10:36:59 +01:00
|
|
|
/*
|
2021-07-04 15:01:11 +02:00
|
|
|
* The SCSS variables
|
|
|
|
*/
|
2020-02-27 10:36:59 +01:00
|
|
|
|
2021-07-04 15:01:11 +02:00
|
|
|
/* sidebar */
|
2020-02-27 14:05:50 +01:00
|
|
|
|
2023-03-15 20:36:52 +01:00
|
|
|
$sidebar-width: 260px !default; /* the basic width */
|
2023-03-24 19:58:58 +01:00
|
|
|
$sidebar-width-large: 300px !default; /* screen width: >= 1650px */
|
2020-02-27 10:36:59 +01:00
|
|
|
|
2021-07-04 15:01:11 +02:00
|
|
|
/* other framework sizes */
|
2020-02-27 10:36:59 +01:00
|
|
|
|
2021-07-04 15:01:11 +02:00
|
|
|
$topbar-height: 3rem !default;
|
2022-06-08 16:35:13 +02:00
|
|
|
$search-max-width: 210px !default;
|
2021-07-04 15:01:11 +02:00
|
|
|
$footer-height: 5rem !default;
|
2023-04-02 06:10:08 +02:00
|
|
|
$footer-height-mobile: 6rem !default; /* screen width: < 850px */
|
2022-06-08 16:35:13 +02:00
|
|
|
$main-content-max-width: 1250px !default;
|
2021-12-01 14:49:51 +01:00
|
|
|
$bottom-min-height: 35rem !default;
|
2023-03-21 03:59:20 +01:00
|
|
|
$base-radius: 0.5rem;
|
2021-07-04 15:01:11 +02:00
|
|
|
|
|
|
|
/* syntax highlight */
|
|
|
|
|
|
|
|
$code-font-size: 0.85rem !default;
|
2023-09-03 14:03:51 +02:00
|
|
|
$code-header-height: 2.25rem;
|
|
|
|
$code-dot-size: 0.75rem;
|
|
|
|
$code-dot-gap: 0.5rem;
|
|
|
|
$code-icon-width: 1.75rem;
|
2023-04-16 19:31:49 +02:00
|
|
|
|
|
|
|
/* fonts */
|
|
|
|
|
|
|
|
$font-family-base: 'Source Sans Pro', 'Microsoft Yahei', sans-serif;
|
|
|
|
$font-family-heading: Lato, 'Microsoft Yahei', sans-serif;
|