polylux-typ · rmburg · Feb 2, 2025 · Feb 2, 2025 · Feb 3, 2025 · Feb 3, 2025
diff --git a/.github/workflows/check-pr.yml b/.github/workflows/check-pr.yml
@@ -0,0 +1,17 @@
+on:
+  pull_request:
+
+jobs:
+  check-pr:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - name: Install Typstyle
+        uses: taiki-e/cache-cargo-install-action@v2
+        with:
+          tool: typstyle
+      - name: Format typst files
+        run: typstyle format-all
+      - uses: getsentry/action-git-diff-suggestions@main
+        with:
+          message: "Typstyle suggested change"
diff --git a/book/src/dynamic/alternatives-cases.typ b/book/src/dynamic/alternatives-cases.typ
@@ -15,8 +15,11 @@
 */
 
 #slide[
-#alternatives-cases(("1, 3", "2"), case => [
-  #set text(fill: teal) if case == 1
-  Some text
-])
+  #alternatives-cases(
+    ("1, 3", "2"),
+    case => [
+      #set text(fill: teal) if case == 1
+      Some text
+    ],
+  )
 ]
diff --git a/book/src/dynamic/alternatives-fn.typ b/book/src/dynamic/alternatives-fn.typ
@@ -3,8 +3,12 @@
 #set text(size: 50pt, font: "Atkinson Hyperlegible")
 
 #slide[
-We are on subslide:
-#alternatives-fn(start: 2, count: 7, subslide => {
-  numbering("(i)", subslide)
-})
+  We are on subslide:
+  #alternatives-fn(
+    start: 2,
+    count: 7,
+    subslide => {
+      numbering("(i)", subslide)
+    },
+  )
 ]
diff --git a/book/src/dynamic/alternatives-match.typ b/book/src/dynamic/alternatives-match.typ
@@ -3,8 +3,8 @@
 #set text(size: 50pt, font: "Atkinson Hyperlegible")
 
 #slide[
-#alternatives-match((
-  "1, 3-5": [this text has the majority],
-  "2, 6": [this is shown less often]
-))
+  #alternatives-match((
+    "1, 3-5": [this text has the majority],
+    "2, 6": [this is shown less often],
+  ))
 ]
diff --git a/book/src/dynamic/alternatives-position.typ b/book/src/dynamic/alternatives-position.typ
@@ -3,8 +3,8 @@
 #set text(size: 40pt, font: "Atkinson Hyperlegible")
 
 #slide[
-We know that
-#alternatives(position: center + horizon)[$pi$][$sqrt(2)^2 + 1/3$]
-is
-#alternatives[irrational][rational].
+  We know that
+  #alternatives(position: center + horizon)[$pi$][$sqrt(2)^2 + 1 / 3$]
+  is
+  #alternatives[irrational][rational].
 ]
diff --git a/book/src/dynamic/alternatives-repeat-last.typ b/book/src/dynamic/alternatives-repeat-last.typ
@@ -3,7 +3,7 @@
 #set text(size: 50pt, font: "Atkinson Hyperlegible")
 
 #slide[
-#alternatives(repeat-last: true)[temporary][transitory][ephemeral][permanent!]
+  #alternatives(repeat-last: true)[temporary][transitory][ephemeral][permanent!]
 
-#uncover(5)[Did I miss something?]
+  #uncover(5)[Did I miss something?]
 ]
diff --git a/book/src/dynamic/alternatives.typ b/book/src/dynamic/alternatives.typ
@@ -3,10 +3,10 @@
 #set text(size: 40pt, font: "Atkinson Hyperlegible")
 
 #slide[
-#alternatives[Ann][Bob][Christopher]
-likes
-#alternatives[chocolate][strawberry][vanilla]
-ice cream.
+  #alternatives[Ann][Bob][Christopher]
+  likes
+  #alternatives[chocolate][strawberry][vanilla]
+  ice cream.
 
-#repeat[| #h(4cm)] // visual reference
+  #repeat[| #h(4cm)] // visual reference
 ]
diff --git a/book/src/dynamic/cover.typ b/book/src/dynamic/cover.typ
@@ -3,16 +3,16 @@
 #set text(size: 40pt, font: "Atkinson Hyperlegible")
 
 #slide[
-#uncover(3, mode: gray)[abc]
+  #uncover(3, mode: gray)[abc]
 
-#one-by-one(start: 2, mode: gray)[def ][ghi]
+  #one-by-one(start: 2, mode: gray)[def ][ghi]
 
-#item-by-item(mode: gray)[
-  - jkl
-  - mno
-]
+  #item-by-item(mode: gray)[
+    - jkl
+    - mno
+  ]
 
-#show: later.with(mode: gray)
-pqr
+  #show: later.with(mode: gray)
+  pqr
 
 ]
diff --git a/book/src/dynamic/item-by-item-complex.typ b/book/src/dynamic/item-by-item-complex.typ
@@ -3,27 +3,27 @@
 #set text(size: 35pt, font: "Atkinson Hyperlegible")
 
 #slide[
-#show: columns.with(3)
+  #show: columns.with(3)
 
-#set list(marker: sym.arrow)
-#item-by-item[
-  - first
-  - second
-    - some
-    - detail
-  - third
-]
-#colbreak()
+  #set list(marker: sym.arrow)
+  #item-by-item[
+    - first
+    - second
+      - some
+      - detail
+    - third
+  ]
+  #colbreak()
 
-#item-by-item[
-  + also
-  + works
-  + with `enums`
-]
-#colbreak()
+  #item-by-item[
+    + also
+    + works
+    + with `enums`
+  ]
+  #colbreak()
 
-#item-by-item(start: 2)[
-  / and: with
-  / terms: too
-]
+  #item-by-item(start: 2)[
+    / and: with
+    / terms: too
+  ]
 ]
diff --git a/book/src/dynamic/item-by-item.typ b/book/src/dynamic/item-by-item.typ
@@ -3,9 +3,9 @@
 #set text(size: 50pt, font: "Atkinson Hyperlegible")
 
 #slide[
-#item-by-item[
-  - first
-  - second
-  - third
-]
+  #item-by-item[
+    - first
+    - second
+    - third
+  ]
 ]
diff --git a/book/src/dynamic/later.typ b/book/src/dynamic/later.typ
@@ -3,9 +3,9 @@
 #set text(size: 50pt, font: "Atkinson Hyperlegible")
 
 #slide[
-first
-#show: later
-second
-#show: later
-third
+  first
+  #show: later
+  second
+  #show: later
+  third
 ]
diff --git a/book/src/dynamic/one-by-one-start.typ b/book/src/dynamic/one-by-one-start.typ
@@ -3,5 +3,5 @@
 #set text(size: 50pt, font: "Atkinson Hyperlegible")
 
 #slide[
-#one-by-one(start: 3)[This ][came ][pretty late.]
+  #one-by-one(start: 3)[This ][came ][pretty late.]
 ]
diff --git a/book/src/dynamic/one-by-one.typ b/book/src/dynamic/one-by-one.typ
@@ -3,5 +3,5 @@
 #set text(size: 50pt, font: "Atkinson Hyperlegible")
 
 #slide[
-#one-by-one[Do you know ][$pi$ ][to a thousand decimal places?]
+  #one-by-one[Do you know ][$pi$ ][to a thousand decimal places?]
 ]
diff --git a/book/src/dynamic/poor-alternatives.typ b/book/src/dynamic/poor-alternatives.typ
@@ -3,10 +3,10 @@
 #set text(size: 40pt, font: "Atkinson Hyperlegible")
 
 #slide[
-#only(1)[Ann] #only(2)[Bob] #only(3)[Christopher]
-likes
-#only(1)[chocolate] #only(2)[strawberry] #only(3)[vanilla]
-ice cream.
+  #only(1)[Ann] #only(2)[Bob] #only(3)[Christopher]
+  likes
+  #only(1)[chocolate] #only(2)[strawberry] #only(3)[vanilla]
+  ice cream.
 
-#repeat[| #h(4cm)] // visual reference
+  #repeat[| #h(4cm)] // visual reference
 ]
diff --git a/book/src/dynamic/reveal-code.typ b/book/src/dynamic/reveal-code.typ
@@ -3,15 +3,15 @@
 #set text(size: 35pt, font: "Atkinson Hyperlegible")
 
 #slide[
-#reveal-code(lines: (1, 3, 6, 7))[```rust
-  pub fn main() {
-    let x = vec![3, 4, 1];
-    let y = &x;
-    if let Some(a) = x.first() {
-      dbg!(a);
-    } else {
-      println!("x is empty.");
+  #reveal-code(lines: (1, 3, 6, 7))[```rust
+    pub fn main() {
+      let x = vec![3, 4, 1];
+      let y = &x;
+      if let Some(a) = x.first() {
+        dbg!(a);
+      } else {
+        println!("x is empty.");
+      }
     }
-  }
-```]
+    ```]
 ]
diff --git a/book/src/dynamic/rule-interval.typ b/book/src/dynamic/rule-interval.typ
@@ -3,8 +3,13 @@
 #set text(size: 30pt, font: "Atkinson Hyperlegible")
 
 #slide[
-  #only((beginning: 1, until: 5))[Content displayed on subslides 1, 2, 3, 4, and 5 \ ]
-  #only((beginning: 2))[Content displayed on subslide 2 and every following one \ ]
+  #only((
+    beginning: 1,
+    until: 5,
+  ))[Content displayed on subslides 1, 2, 3, 4, and 5 \ ]
+  #only((
+    beginning: 2,
+  ))[Content displayed on subslide 2 and every following one \ ]
   #only((until: 3))[Content displayed on subslides 1, 2, and 3 \ ]
   #only((:))[Content that is always displayed]
 ]
diff --git a/book/src/dynamic/rule-string.typ b/book/src/dynamic/rule-string.typ
@@ -3,5 +3,5 @@
 #set text(size: 40pt, font: "Atkinson Hyperlegible")
 
 #slide[
-#uncover("-2, 4, 6-8, 10-")[Polylux]
+  #uncover("-2, 4, 6-8, 10-")[Polylux]
 ]
diff --git a/book/src/themes/gallery/metropolis.typ b/book/src/themes/gallery/metropolis.typ
@@ -2,9 +2,7 @@
 
 #import themes.metropolis: *
 
-#show: metropolis-theme.with(
-  footer: [Custom footer]
-)
+#show: metropolis-theme.with(footer: [Custom footer])
 
 #set text(font: "Fira Sans", weight: "light", size: 20pt)
 #show math.equation: set text(font: "Fira Math")
@@ -16,7 +14,7 @@
   title: "Title",
   subtitle: "Subtitle",
   date: "Date",
-  extra: "Extra"
+  extra: "Extra",
 )
 
 #slide(title: "Table of contents")[
@@ -25,7 +23,7 @@
 
 #slide(title: "Slide title")[
   A slide with some maths:
-  $ x_(n+1) = (x_n + a/x_n) / 2 $
+  $ x_(n+1) = (x_n + a / x_n) / 2 $
 
   #lorem(200)
 ]

diff --git a/book/src/themes/gallery/simple.typ b/book/src/themes/gallery/simple.typ
@@ -4,9 +4,7 @@
 
 #set text(font: "Inria Sans")
 
-#show: simple-theme.with(
-  footer: [Simple slides],
-)
+#show: simple-theme.with(footer: [Simple slides])
 
 #title-slide[
   = Keep it simple!

diff --git a/book/src/themes/gallery/university.typ b/book/src/themes/gallery/university.typ
@@ -14,7 +14,7 @@
   subtitle: "Subtitle",
   date: "Date",
   institution-name: "University Name",
-  logo: image("dummy-logo.png", width: 60mm)
+  logo: image("dummy-logo.png", width: 60mm),
 )
 
 #slide(title: [Slide title], new-section: [The section])[

diff --git a/book/src/toolbox/big.typ b/book/src/toolbox/big.typ
@@ -3,5 +3,5 @@
 #set text(size: 40pt, font: "Atkinson Hyperlegible")
 
 #slide[
-#toolbox.big[BIG]
+  #toolbox.big[BIG]
 ]
diff --git a/book/src/toolbox/full-width.typ b/book/src/toolbox/full-width.typ
@@ -4,8 +4,14 @@
 #set page(
   paper: "presentation-16-9",
   margin: 2cm,
-  header: align(top,    toolbox.full-width-block(fill: aqua, inset: 8pt)[I'm up high]),
-  footer: align(bottom, toolbox.full-width-block(fill: lime, inset: 8pt)[I'm down low]),
+  header: align(
+    top,
+    toolbox.full-width-block(fill: aqua, inset: 8pt)[I'm up high],
+  ),
+  footer: align(
+    bottom,
+    toolbox.full-width-block(fill: lime, inset: 8pt)[I'm down low],
+  ),
 )
 
 #slide[

diff --git a/book/src/toolbox/next-heading.typ b/book/src/toolbox/next-heading.typ
@@ -3,7 +3,7 @@
 
 #set page(
   paper: "presentation-16-9",
-  header: toolbox.next-heading(h => underline(h))
+  header: toolbox.next-heading(h => underline(h)),
 )
 
 #show heading.where(level: 1): none

diff --git a/book/src/toolbox/progress.typ b/book/src/toolbox/progress.typ
@@ -9,7 +9,7 @@
   toolbox.progress-ratio(ratio => {
     stack(
       dir: ltr,
-      rect(stroke: blue, fill: blue, width: ratio       * 8cm),
+      rect(stroke: blue, fill: blue, width: ratio * 8cm),
       rect(stroke: blue, fill: none, width: (1 - ratio) * 8cm),
     )
   })

diff --git a/book/src/toolbox/sections-band.typ b/book/src/toolbox/sections-band.typ
@@ -2,11 +2,9 @@
 #set page(paper: "presentation-16-9")
 #set text(size: 40pt, font: "Atkinson Hyperlegible")
 
-#let sections-band = toolbox.all-sections( (sections, current) => {
+#let sections-band = toolbox.all-sections((sections, current) => {
   set text(fill: gray, size: .8em)
-  sections
-    .map(s => if s == current { strong(s) } else { s })
-    .join([ • ])
+  sections.map(s => if s == current { strong(s) } else { s }).join([ • ])
 })
 
 #set page(footer: sections-band)