From 0624ef70c54e4680e5b98df818214f6c2235c010 Mon Sep 17 00:00:00 2001
From: Arthur Van Loo <arthur@vanloo.biz>
Date: Mon, 10 Oct 2022 14:51:42 +0200
Subject: [PATCH] Added Dutch language support (#46)

---
 lang/nl.css    | 4 ++++
 languages.html | 1 +
 2 files changed, 5 insertions(+)
 create mode 100644 lang/nl.css

diff --git a/lang/nl.css b/lang/nl.css
new file mode 100644
index 0000000..50070f2
--- /dev/null
+++ b/lang/nl.css
@@ -0,0 +1,4 @@
+:lang(nl) .theorem::before { content: 'Stelling' counter(theorem) '. ' !important; }
+:lang(nl) .lemma::before { content: 'Lemma ' counter(theorem) '. ' !important; }
+:lang(nl) .proof::before { content: 'Bewijs. ' attr(title) !important; }
+:lang(nl) .definition::before { content: 'Defenitie ' counter(definition) '. ' !important; }
diff --git a/languages.html b/languages.html
index 6365336..fb7804a 100644
--- a/languages.html
+++ b/languages.html
@@ -48,6 +48,7 @@
       <option value="it">Italian (it)</option>
       <option value="ja">Japanese (ja)</option>
       <option value="mwl">Mirandese (mwl)</option>
+      <option value="nl">Dutch (nl)</option>
       <option value="pt">Portuguese (pt)</option>
       <option value="ro">Romanian (ro)</option>
       <option value="ru">Russian (ru)</option>