Font and CI

Author: Trebor-Huang

.github/workflows/build.yaml

@@ -0,0 +1,23 @@
+name: Render paper.pdf
+on: push
+jobs:
+  render-paper:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: typst-community/setup-typst@v3
+
+      - name: Get Source Han Serif font
+        run: |
+          wget https://github.com/adobe-fonts/source-han-serif/releases/download/2.002R/09_SourceHanSerifSC.zip
+          unzip 09_SourceHanSerifSC.zip
+
+          wget https://cdn.jsdelivr.net/npm/katex@0.16.9/dist/fonts/KaTeX_Caligraphic-Regular.ttf
+          mv KaTeX_Caligraphic-Regular.ttf OTF/SimplifiedChinese
+          wget https://cdn.jsdelivr.net/npm/katex@0.16.9/dist/fonts/KaTeX_Caligraphic-Bold.ttf
+          mv KaTeX_Caligraphic-Bold.ttf OTF/SimplifiedChinese
+      - run: typst compile main.typ model.pdf --font-path ./OTF/SimplifiedChinese/
+      - uses: actions/upload-artifact@v4
+        with:
+          name: model
+          path: model.pdf

common.typ

@@ -31,8 +31,8 @@
 #let definition = thmstyle("theorem", "定义")
 #let proof = thmproof(
   "proof", "证明",
-  separator: [. ],
-  titlefmt: text.with(font: ("Latin Modern Roman", "Kaiti SC")),
+  separator: h(0em),
+  titlefmt: box.with(stroke: 0.5pt, outset: (top: 0.25em, bottom: 0.25em, left: 0.1em, right: 0.1em)),
   inset: (left: 0em, right: 0em),
 )