libs.typ: add ctheorems

- headers now have extra space after
- lists now use square markers instead of circles

README.md

@@ -19,7 +19,7 @@ docs/
 
 Install dependencies:
 
-- `ttf-liberation`
+- Nimbus Sans: `gsfonts` (name on Arch Linux)
 
 Set up `docs/` as a git repo.
 

libs.typ

@@ -53,3 +53,19 @@
   set math.equation(numbering: "(1)")
   body
 }
+
+// theorems, definitions, example environments
+#import "@preview/ctheorems:1.1.2": *
+// use `#show: thmrules` at the beginning of documents
+
+#let theorem = thmbox("theorem", "Theorem", fill: rgb("#eeffee"))
+#let corollary = thmplain(
+  "corollary",
+  "Corollary",
+  base: "theorem",
+  titlefmt: strong
+)
+#let definition = thmbox("definition", "Definition", inset: (x: 1.2em, top: 1em, bottom: 1em), stroke: 1pt + black)
+
+#let example = thmbox("example", "Example").with(numbering: none)
+#let proof = thmproof("proof", "Proof")

main.typ

@@ -6,8 +6,8 @@
 #let normal-size = 9pt
 #let large-size = 9pt
 
-#let font = "Liberation Sans"
+#let font = "Nimbus Sans"
-#let heading_font = "Liberation Sans"
+#let heading_font = "Nimbus Sans"
 #let mono_font = "DejaVu Sans Mono"
 
 #let settings = yaml("/settings.yml")
@@ -113,7 +113,11 @@
     fig
   }
   set table(inset: 10pt, stroke: 0.5pt + black)
-  show heading: set text(font: heading_font, weight: "black")
+  show heading: it => [
+	  #set text(font: heading_font, weight: "black")
+	  #text(it)
+	  #v(0.1em)
+  ]
   set heading(numbering: "1.")
   show raw.where(block: true): txt => pad(
       left: 0.5em,
@@ -139,8 +143,8 @@
       #set text(size: 8pt, fill: luma(80))
       #columns(3)[
         #align(left)[
-          ©
+          //©
-          #author_string(authors: authors)
+          #author_string(authors: authors),
           #datetime.today().year()
         ]
         #colbreak()
@@ -156,7 +160,7 @@
       ]
     ],
   )
-  set list(indent: 5pt, body-indent: 5pt)
+  set list(indent: 5pt, body-indent: 5pt, marker: ("▪", "‣"))
   set enum(indent: 5pt, body-indent: 5pt)
 
   // Configure paragraph properties.