From b019deea7ab3a531bf214b36c83da51de24e183f Mon Sep 17 00:00:00 2001 From: Nathan McCarty Date: Sun, 22 Dec 2024 14:06:05 +0000 Subject: [PATCH] Track katla --- src/katla.dhall | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 src/katla.dhall diff --git a/src/katla.dhall b/src/katla.dhall new file mode 100644 index 0000000..19d4d68 --- /dev/null +++ b/src/katla.dhall @@ -0,0 +1,23 @@ +{ font = "\\ttfamily" +, space = " " +, 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"} +}