Merge branch 'main' into project_search_design

2023-08-12 21:57:21 +02:00
parent c0356fdf16 5ce7ccac32
commit 6be73e46bf
41 changed files with 528 additions and 115 deletions
@@ -3,6 +3,7 @@ export * from "./theme"
 export { chroma }

 export const font_families = {
+    ui_sans: "IBM Plex Sans",
    sans: "Zed Sans",
    mono: "Zed Mono",
 }