From e59fdc101cfd0b8323d270fd5eee1eb01d14eff9 Mon Sep 17 00:00:00 2001
From: Michael Zhang <mail@mzhang.io>
Date: Sun, 12 Dec 2021 13:56:54 -0600
Subject: [PATCH] Add agda stylesheet + Mono font

---
 .gitignore             |  2 ++
 assets/sass/_agda.scss | 37 +++++++++++++++++++++++++++++++++++++
 assets/sass/main.scss  |  8 +++++++-
 config.toml            |  3 +++
 4 files changed, 49 insertions(+), 1 deletion(-)
 create mode 100644 assets/sass/_agda.scss

diff --git a/.gitignore b/.gitignore
index 9ca7f2b..017d960 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,5 @@
 /public
 /old
 /resources
+
+.hugo_build.lock
diff --git a/assets/sass/_agda.scss b/assets/sass/_agda.scss
new file mode 100644
index 0000000..14355e0
--- /dev/null
+++ b/assets/sass/_agda.scss
@@ -0,0 +1,37 @@
+/* Aspects. */
+.Agda .Comment       { color: #608b4e }
+.Agda .Background    {}
+.Agda .Markup        { color: #000000 }
+.Agda .Keyword       { color: #569cd6 }
+.Agda .String        { color: #ce9178 }
+.Agda .Number        { color: #b5cea8 }
+.Agda .Symbol        { color: #cccccc }
+.Agda .PrimitiveType { color: #00cdcd }
+.Agda .Pragma        { color: #cccccc }
+.Agda .Operator      {}
+
+/* NameKinds. */
+.Agda .Bound                  { color: black   }
+.Agda .Generalizable          { color: black   }
+.Agda .InductiveConstructor   { color: #cccccc }
+.Agda .CoinductiveConstructor { color: #cccccc }
+.Agda .Datatype               { color: #00cdcd }
+.Agda .Field                  { color: #cccccc }
+.Agda .Function               { color: #cccccc }
+.Agda .Module                 { color: #cccccc }
+.Agda .Postulate              { color: #00cdcd }
+.Agda .Primitive              { color: #b5cea8 }
+.Agda .Record                 { color: #00cdcd }
+
+/* OtherAspects. */
+.Agda .DottedPattern      {}
+.Agda .UnsolvedMeta       { color: black; background: yellow         }
+.Agda .UnsolvedConstraint { color: black; background: yellow         }
+.Agda .TerminationProblem { color: black; background: #FFA07A        }
+.Agda .IncompletePattern  { color: black; background: #F5DEB3        }
+.Agda .Error              { color: red;   text-decoration: underline }
+.Agda .TypeChecks         { color: black; background: #ADD8E6        }
+
+/* Standard attributes. */
+.Agda a { text-decoration: none }
+.Agda a[href]:hover { background-color: darken(#B4EEB4, 60%) }
diff --git a/assets/sass/main.scss b/assets/sass/main.scss
index a87248c..b00147e 100644
--- a/assets/sass/main.scss
+++ b/assets/sass/main.scss
@@ -1,7 +1,13 @@
 @import "syntax";
+@import "agda";
+
+@font-face {
+  font-family: 'PragmataPro Mono Liga';
+  src: url('/fonts/PragmataPro_Mono_R_liga_0829.woff2') format('woff2');
+}
 
 $sansfont: "Helvetica", "Arial", "Liberation Sans", sans-serif;
-$monofont: "Roboto Mono", "Roboto Mono for Powerline", "Inconsolata", "Consolas", monospace;
+$monofont: "PragmataPro Mono Liga", "Roboto Mono", "Roboto Mono for Powerline", "Inconsolata", "Consolas", monospace;
 
 // colors
 
diff --git a/config.toml b/config.toml
index 27a505d..b91dc7e 100644
--- a/config.toml
+++ b/config.toml
@@ -11,3 +11,6 @@ language = "languages"
 endLevel = 4
 ordered = true
 startLevel = 2
+
+[markup.goldmark.renderer]
+unsafe = true