Track katla

2024-12-22 14:06:05 +00:00 · 2024-12-22 14:06:05 +00:00 · b019deea7a
parent bc873863dc
commit b019deea7a
1 changed files with 23 additions and 0 deletions
--- a/src/katla.dhall
+++ b/src/katla.dhall
@ -0,0 +1,23 @@
+{ font  = "\\ttfamily"
+, space = "&nbsp;"
+, datacons = { style  = ""
+             , colour = "#ed4a46"}
+, typecons = { style  = ""
+             , colour = "#368aeb"}
+, bound    = { style  = ""
+             , colour = "#dedede"}
+, function = { style  = ""
+             , colour = "#70b433"}
+, keyword  = { style  = "font-weight: bold;"
+             , colour = "#3fc5b7"}
+, comment  = { style  = ""
+             , colour = "#777777"}
+, hole     = { style  = "font-weight: bold;"
+             , colour = "#dbb32d" }
+, namespce = { style  = "font-style: italic;"
+             , colour = "#dedede"}
+, postulte = { style  = "font-weight: bold;"
+             , colour = "#ed4a46"}
+, aModule  = { style  = "font-style: italic;"
+             , colour = "#dedede"}
+}