Emi Matchu
95ae669549
Yeah, I don't remember why So Many Years Ago I felt it was important to use the Droid fonts; I adapted this choice into the Noto fonts when modernizing the other day, but, tbh, the default system fonts are probably just a better fit for like. everything we do, and then *not* downloading MB of font files. I also feel like a lot of the contexts where we used serif fonts were like, frankly incidental, based on where we chose `<p>` for semantic reasons? I don't think any of them actually are made much better by serifs, I'm okay with just simplifying and dropping that, instead of looking for a better serif font stack to replace it.
30 lines
796 B
Sass
30 lines
796 B
Sass
$background-color: #fff
|
|
$text-color: #040
|
|
$soft-text-color: $text-color + #444
|
|
$link-color: $text-color + #222
|
|
$module-bg-color: #efe
|
|
$module-border-color: #060
|
|
$soft-border-color: #ada
|
|
$input-border-color: #cec
|
|
$marked-button-color: #0b61a4
|
|
|
|
$notice-color: #264409
|
|
$notice-bg-color: #e6efc2
|
|
$notice-border-color: #c6d880
|
|
$warning-color: #514721
|
|
$warning-bg-color: #fff6bf
|
|
$warning-border-color: #ffd324
|
|
$error-color: #8a1f11
|
|
$error-bg-color: #fbe3e4
|
|
$error-border-color: #fbc2c4
|
|
|
|
$header-font: Delicious, system-ui, sans-serif
|
|
$main-font: system-ui, sans-serif
|
|
|
|
$object-img-size: 80px
|
|
$object-width: 100px
|
|
$object-padding: 8px
|
|
$nc-icon-size: 16px
|
|
|
|
$container-top-padding: 2.5em
|
|
|