@import "syntax";
@import "agda";

@font-face {
  font-family: 'PragmataPro Mono Liga';
  src: url('/fonts/PragmataPro_Mono_R_liga_0829.woff2') format('woff2');
}

$sansfont: "Helvetica", "Arial", "Liberation Sans", sans-serif;
$monofont: "PragmataPro Mono Liga", "Roboto Mono", "Roboto Mono for Powerline", "Inconsolata", "Consolas", monospace;

// colors

@media (prefers-color-scheme: light) {
    $background-color: white;
    $heading-color: #15202B;
    $text-color: #15202B;
    $small-text-color: lighten($text-color, 10%);
    $smaller-text-color: lighten($text-color, 18%);
    $faded: lightgray;
    $link-color: royalblue;
    @import "content";
}

@media (prefers-color-scheme: dark) {
    $background-color: #15202B;
    $heading-color: #E4E4E4;
    $text-color: #BCBCBC;
    $small-text-color: darken($text-color, 8%);
    $smaller-text-color: darken($text-color, 12%);
    $faded: #666;
    $link-color: lightskyblue;
    @import "content";
}