blog/assets/sass/main.scss

45 lines
1.4 KiB
SCSS
Raw Normal View History

2022-11-05 18:57:34 -05:00
$fa-font-path: "/fork-awesome";
@import "./fork-awesome/fork-awesome.scss";
2022-07-19 03:49:38 -05:00
@import "grid";
2021-12-12 13:56:54 -06:00
@import "agda";
2022-01-24 18:35:39 -06:00
@import "mixins";
2022-02-08 03:46:56 -06:00
@import "fonts";
2021-12-12 13:56:54 -06:00
2022-07-19 08:33:05 -05:00
$sansfont: "Inter", "Helvetica", "Arial", "Liberation Sans", sans-serif;
2021-12-12 13:56:54 -06:00
$monofont: "PragmataPro Mono Liga", "Roboto Mono", "Roboto Mono for Powerline", "Inconsolata", "Consolas", monospace;
2019-06-29 13:04:30 -05:00
2020-02-11 21:21:15 -06:00
// colors
2019-06-29 13:04:30 -05:00
2020-02-11 21:21:15 -06:00
@media (prefers-color-scheme: light) {
2020-02-12 01:44:23 -06:00
$background-color: white;
2022-01-24 18:35:39 -06:00
$faded-background-color: darken($background-color, 10%);
2022-07-19 03:53:25 -05:00
$shadow-color: darken($background-color, 10%);
2022-02-02 04:26:08 -06:00
$heading-color: darken(royalblue, 10%);
2020-02-11 21:21:15 -06:00
$text-color: #15202B;
2022-02-02 04:15:05 -06:00
$small-text-color: #6e707f;
$smaller-text-color: lighten($text-color, 30%);
2021-07-06 17:27:33 -05:00
$faded: lightgray;
2020-02-11 21:21:15 -06:00
$link-color: royalblue;
2022-01-24 18:35:39 -06:00
$code-color: firebrick;
2022-02-08 16:34:23 -06:00
$tag-color: lighten($link-color, 35%);
2022-02-08 16:51:36 -06:00
@import "syntax";
2020-02-11 21:21:15 -06:00
@import "content";
2018-05-28 14:19:14 -05:00
}
2020-02-11 21:21:15 -06:00
@media (prefers-color-scheme: dark) {
2022-02-02 04:26:08 -06:00
$background-color: #202030;
2022-01-24 18:35:39 -06:00
$faded-background-color: lighten($background-color, 10%);
2022-07-19 03:53:25 -05:00
$shadow-color: lighten($background-color, 10%);
2022-02-02 04:26:08 -06:00
$heading-color: lighten(lightskyblue, 20%);
$text-color: #CDCDCD;
2021-08-30 02:52:21 -05:00
$small-text-color: darken($text-color, 8%);
$smaller-text-color: darken($text-color, 12%);
2021-07-06 17:27:33 -05:00
$faded: #666;
2020-02-11 21:21:15 -06:00
$link-color: lightskyblue;
2022-01-24 18:35:39 -06:00
$code-color: lighten(firebrick, 25%);
2022-02-08 16:34:23 -06:00
$tag-color: darken($link-color, 55%);
2022-02-08 16:51:36 -06:00
@import "syntax";
2020-02-11 21:21:15 -06:00
@import "content";
2018-09-22 03:17:41 -05:00
}