The great flattification

2022-03-29 21:41:46 +02:00
parent e5328a7d6c
commit 2b847c0456
41 changed files with 379 additions and 317 deletions
--- a/svelte/src/util/ThemePicker.svelte
+++ b/svelte/src/util/ThemePicker.svelte
@@ -38,9 +38,6 @@ let set = s => {
 	<button class:button_highlight={theme==="snowstorm"} on:click={() => {set("snowstorm")}}>
 		Snowstorm
 	</button>
-	<button class:button_highlight={theme==="deepsea"} on:click={() => {set("deepsea")}}>
-		Deep sea
-	</button>
 	<button class:button_highlight={theme==="skeuos"} on:click={() => {set("skeuos")}}>
 		Skeuos
 	</button>