From 9907fff3139395846490c54fd9f04eb46df4b811 Mon Sep 17 00:00:00 2001
From: Ohad Kammar <ohad.kammar@ed.ac.uk>
Date: Sun, 7 Aug 2022 18:53:02 +0100
Subject: Tweak output files

---
 doc/setoid-doc-style.dhall | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 doc/setoid-doc-style.dhall

(limited to 'doc/setoid-doc-style.dhall')

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 = "&nbsp;"
+, 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"}
+}
-- 
cgit v1.2.3