From 4ecb39e73a51aeb8219be917b07ab12544fe0c0e Mon Sep 17 00:00:00 2001 From: Aaron Fenyes Date: Wed, 30 Oct 2024 23:29:48 -0700 Subject: [PATCH] Specify fonts This should help the interface look more consistent across platforms. The font choices are just placeholders: consistency is the main goal. --- app-proto/index.html | 2 ++ app-proto/main.css | 7 +++++++ app-proto/src/add_remove.rs | 1 + 3 files changed, 10 insertions(+) diff --git a/app-proto/index.html b/app-proto/index.html index cee4b1b..941a153 100644 --- a/app-proto/index.html +++ b/app-proto/index.html @@ -4,6 +4,8 @@ dyna3 + + diff --git a/app-proto/main.css b/app-proto/main.css index 937714e..030f56a 100644 --- a/app-proto/main.css +++ b/app-proto/main.css @@ -2,6 +2,7 @@ body { margin: 0px; color: #fcfcfc; background-color: #222; + font-family: 'Lato'; } /* sidebar */ @@ -33,6 +34,11 @@ body { font-size: large; } +/* KLUDGE */ +#add-remove > button.emoji { + font-family: 'Noto Emoji'; +} + /* outline */ #outline { @@ -127,6 +133,7 @@ details[open]:has(li) .elt-switch::after { width: 20px; padding-left: 4px; text-align: center; + font-family: 'Noto Emoji'; font-style: normal; } diff --git a/app-proto/src/add_remove.rs b/app-proto/src/add_remove.rs index 19b4b8d..31e11e6 100644 --- a/app-proto/src/add_remove.rs +++ b/app-proto/src/add_remove.rs @@ -202,6 +202,7 @@ pub fn AddRemove() -> View { } ) { "+" } button( + class="emoji", /* KLUDGE */ disabled={ let state = use_context::(); state.selection.with(|sel| sel.len() != 2)