Add HPI logo to header

niklasmohrin · Nov 23, 2023 · b9c4f57 · b9c4f57
1 parent fc51d80
commit b9c4f57
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 4 deletions.
diff --git a/assets/hpi.png b/assets/hpi.png
diff --git a/nactl.typ b/nactl.typ
@@ -12,10 +12,14 @@
       outset: (x: 5pt),
       grid(
         columns: (1fr, 1fr, 1fr),
-        align(left, link("https://github.com/niklasmohrin/cp")[
-          #box(baseline: 1pt, image("assets/github-mark.png", alt: "GH:", height: 7pt))
-          #text(7pt, font: "Liberation Mono", "niklasmohrin/cp")
-        ]),
+        align(left, {
+          box(baseline: 1pt, image("assets/hpi.png", alt: "HPI Logo", height: 7pt))
+          text(7pt, font: "Liberation Mono", " Burnoutverbot (HPI)")
+          link("https://github.com/niklasmohrin/cp")[
+            #box(baseline: 1pt, image("assets/github-mark.png", alt: "GH:", height: 7pt))
+            #text(7pt, font: "Liberation Mono", "niklasmohrin/cp")
+          ]
+        }),
         align(center, text(weight: 700, title)),
         align(right, counter(page).display("1 / 1", both: true)),
       )