init

2022-09-30 20:02:02 +01:00
commit 66dafc36c3
2561 changed files with 454489 additions and 0 deletions
--- a/user/plugins/problems/scss/_asian.scss
+++ b/user/plugins/problems/scss/_asian.scss
@@ -0,0 +1,38 @@
+// Optimized for East Asian CJK
+:lang(zh),
+:lang(zh-Hans) {
+  font-family: $cjk-zh-hans-font-family;
+}
+
+:lang(zh-Hant) {
+  font-family: $cjk-zh-hant-font-family;
+}
+
+:lang(ja) {
+  font-family: $cjk-jp-font-family;
+}
+
+:lang(ko) {
+  font-family: $cjk-ko-font-family;
+}
+
+:lang(zh),
+:lang(ja),
+.cjk {
+  ins,
+  u {
+    border-bottom: $border-width solid;
+    text-decoration: none;
+  }
+
+  del + del,
+  del + s,
+  ins + ins,
+  ins + u,
+  s + del,
+  s + s,
+  u + ins,
+  u + u {
+    margin-left: .125em;
+  }
+}