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/Makefile               |  3 ++-
 doc/Tutorial.html          | 39 +++++++++++++++++++++++++++++++++++++++
 doc/Tutorial.md            |  6 +++---
 doc/setoid-doc-style.dhall | 23 +++++++++++++++++++++++
 4 files changed, 67 insertions(+), 4 deletions(-)
 create mode 100644 doc/Tutorial.html
 create mode 100644 doc/setoid-doc-style.dhall

(limited to 'doc')

diff --git a/doc/Makefile b/doc/Makefile
index caaf4af..f180bbf 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -6,7 +6,8 @@ ttms:
 	pack build setoid-doc.ipkg
 
 %.md: .PHONY
-	pack run katla markdown sources/$*.md ./build/ttc/$*.ttm > $*.md
+	pack run katla markdown --config ./setoid-doc-style.dhall sources/$*.md ./build/ttc/$*.ttm > $*.md
+	pandoc $*.md -o $*.html
 
 install-deps:
 	pack install-deps setoid-doc.ipkg
diff --git a/doc/Tutorial.html b/doc/Tutorial.html
new file mode 100644
index 0000000..5aacc5f
--- /dev/null
+++ b/doc/Tutorial.html
@@ -0,0 +1,39 @@
+<style>
+.IdrisData {
+  color: darkred
+}
+.IdrisType {
+  color: blue
+}
+.IdrisBound {
+  color: black
+}
+.IdrisFunction {
+  color: darkgreen
+}
+.IdrisKeyword {
+  font-weight: bold;
+}
+.IdrisComment {
+  color: #b22222
+}
+.IdrisNamespace {
+  font-style: italic;
+  color: black
+}
+.IdrisPostulate {
+  font-weight: bold;
+  color: red
+}
+.IdrisModule {
+  font-style: italic;
+  color: black
+}
+.IdrisCode {
+  display: block;
+  background-color: whitesmoke;
+}
+</style>
+<h1 id="tutorial-setoids">Tutorial: setoids</h1>
+<p>A <em>setoid</em> is a type equipped with an equivalence relation</p>
+<p><code class="IdrisCode"> <span class="IdrisFunction">Example1</span> <span class="IdrisKeyword">:</span> <span class="IdrisType">Nat</span><br /> <span class="IdrisFunction">Example1</span> <span class="IdrisKeyword">=</span> <span class="IdrisData">0</span><br /> </code></p>
diff --git a/doc/Tutorial.md b/doc/Tutorial.md
index 20678f2..8d9d9ff 100644
--- a/doc/Tutorial.md
+++ b/doc/Tutorial.md
@@ -12,7 +12,7 @@
   color: darkgreen
 }
 .IdrisKeyword {
-  text-decoration: underline;
+  font-weight: bold;
 }
 .IdrisComment {
   color: #b22222
@@ -40,7 +40,7 @@ A _setoid_ is a type equipped with an equivalence relation
 
 
 <code class="IdrisCode">
-<span class="IdrisFunction">F</span>&nbsp;<span class="IdrisKeyword">:</span>&nbsp;<span class="IdrisType">Nat</span><br />
-<span class="IdrisFunction">F</span>&nbsp;<span class="IdrisKeyword">=</span>&nbsp;<span class="IdrisData">0</span><br />
+<span class="IdrisFunction">Example1</span>&nbsp;<span class="IdrisKeyword">:</span>&nbsp;<span class="IdrisType">Nat</span><br />
+<span class="IdrisFunction">Example1</span>&nbsp;<span class="IdrisKeyword">=</span>&nbsp;<span class="IdrisData">0</span><br />
 </code>
 
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