From 5ea5eb150de2534d92299baa00cad5e33bef884b Mon Sep 17 00:00:00 2001
From: Seongmin Oh <saogig0503@naver.com>
Date: Mon, 19 Jan 2026 18:12:46 +0900
Subject: [PATCH] Add Korean language

---
 lang/ko.css    | 6 ++++++
 languages.html | 1 +
 2 files changed, 7 insertions(+)
 create mode 100644 lang/ko.css

diff --git a/lang/ko.css b/lang/ko.css
new file mode 100644
index 0000000..a9f1e5a
--- /dev/null
+++ b/lang/ko.css
@@ -0,0 +1,6 @@
+:lang(ko) .theorem::before { content: '정리 ' counter(theorem) '. ' !important; }
+:lang(ko) .lemma::before { content: '보조정리 ' counter(theorem) '. ' !important; }
+:lang(ko) .proof::before { content: '증명. ' attr(title) !important; }
+:lang(ko) .definition::before { content: '정의 ' counter(definition) '. ' !important; }
+:lang(ko) caption::before { content: '표 ' counter(caption) '. ' !important; }
+:lang(ko) figcaption::before { content: '그림 ' counter(figcaption) '. ' !important; }
\ No newline at end of file
diff --git a/languages.html b/languages.html
index 5ea9d2f..732cc52 100644
--- a/languages.html
+++ b/languages.html
@@ -47,6 +47,7 @@ <h5>Abstract</h5>
       <option value="hu">Hungarian (hu)</option>
       <option value="it">Italian (it)</option>
       <option value="ja">Japanese (ja)</option>
+      <option value="ko">Korean (ko)</option>
       <option value="mwl">Mirandese (mwl)</option>
       <option value="nl">Dutch (nl)</option>
       <option value="pl">Polish (pl)</option>