Tweak output files

1 files changed, 23 insertions, 0 deletions

diff --git a/doc/setoid-doc-style.dhall b/doc/setoid-doc-style.dhall
new file mode 100644
index 0000000..3f4a943
--- /dev/null
+++ b/doc/setoid-doc-style.dhall
@@ -0,0 +1,23 @@
+{ font  = "\\ttfamily"
+, space = " "
+, datacons = { style  = ""
+             , colour = "darkred"}
+, typecons = { style  = ""
+             , colour = "blue"}
+, bound    = { style  = ""
+             , colour = "black"}
+, function = { style  = ""
+             , colour = "darkgreen"}
+, keyword  = { style  = "font-weight: bold;"
+             , colour = ""}
+, comment  = { style  = ""
+             , colour = "#b22222"}
+, hole     = { style  = "font-weight: bold;"
+             , colour = "yellow"}
+, namespce = { style  = "font-style: italic;"
+             , colour = "black"}
+, postulte = { style  = "font-weight: bold;"
+             , colour = "red"}
+, aModule  = { style  = "font-style: italic;"
+             , colour = "black"}
+}