From 01fadef6837c644720034da5eb0d1cc1709cd965 Mon Sep 17 00:00:00 2001
From: Gareth Davidson <gaz@bitplane.net>
Date: Mon, 25 Sep 2023 00:40:57 +0100
Subject: [PATCH] meh. wheres syntax highlighting?

---
 LICENSE => LICENSE.md | 2 ++
 arranges/README.md    | 2 +-
 docs/LICENSE.md       | 1 +
 mkdocs.yml            | 6 ++++++
 4 files changed, 10 insertions(+), 1 deletion(-)
 rename LICENSE => LICENSE.md (91%)
 create mode 120000 docs/LICENSE.md

diff --git a/LICENSE b/LICENSE.md
similarity index 91%
rename from LICENSE
rename to LICENSE.md
index 54c7c15..73e0466 100644
--- a/LICENSE
+++ b/LICENSE.md
@@ -1,3 +1,5 @@
+# License
+
 Licensed under the WTFPL with one additional clause:
 
 1. Don't blame me.
diff --git a/arranges/README.md b/arranges/README.md
index ad114b9..b1872dd 100644
--- a/arranges/README.md
+++ b/arranges/README.md
@@ -71,7 +71,7 @@ Type `make help` to see the other options, or run the one-liner scripts in the
 
 ## License
 
-Free as in freedom from legalese; the [WTFPL with a warranty clause](../LICENSE).
+Free as in freedom from legalese; the [WTFPL with a warranty clause](LICENSE.md).
 
 Political note: I don't want to live in a world where lawyers tell me how to
 speak. If you don't trust me enough to use the WTFPL then you shouldn't be
diff --git a/docs/LICENSE.md b/docs/LICENSE.md
new file mode 120000
index 0000000..7eabdb1
--- /dev/null
+++ b/docs/LICENSE.md
@@ -0,0 +1 @@
+../LICENSE.md
\ No newline at end of file
diff --git a/mkdocs.yml b/mkdocs.yml
index aa15439..6a9ca38 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -8,6 +8,11 @@ theme:
   features:
     - navigation.expand_single_toc_entry
     - navigation.sections
+markdown_extensions:
+  - codehilite:
+      use_pygments: true
+      pygments_style: monokai
+
 nav:
  - 'index.md'
  - 'construction.md'
@@ -15,3 +20,4 @@ nav:
  - 'operators.md'
  - 'models.md'
  - 'pydoc.md'
+ - 'LICENSE'