diff options
Diffstat (limited to 'doc/setoid-doc-style.dhall')
| -rw-r--r-- | doc/setoid-doc-style.dhall | 23 |
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"} +} |