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