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"} +}