fix: less bastel slide number fix

Author: Daniel1854

presentation/presentation.typ

@@ -297,21 +297,6 @@ Initially used the pelletier problems, which are easy but are very broad.
   ) <comparison_counter_sat>]
 )
 
-#show: lmu-theme.with(
-  aspect-ratio: "16-9",
-  footer: self => self.info.author,
-  header-right: none,
-  footer-progress: false,
-  footer-right: none,
-  config-info(
-    title: [Q - A Superposition Prover],
-    subtitle: [Master Practical: Automated Theorem Provers],
-    author: [Henrik Böving, Daniel Soukup],
-    date: target_date.display("[day].[month].[year]"),
-    institution: text(14pt, smallcaps("Ludwig-Maximilians-Universität München")),
-    logo: image("lmu-sigillium.svg", height: 25%),
-  ),
-)
 #show: appendix
 
 = Bibliography

presentation/theme.typ

@@ -168,7 +168,12 @@
   ),
   header-right: self => self.info.logo,
   footer: none,
-  footer-right: context utils.slide-counter.display() + " / " + utils.last-slide-number,
+  footer-right: self => context{
+    let curr = utils.slide-counter.display()
+    let last = utils.last-slide-counter.display()
+    if curr > last []
+    else [#utils.slide-counter.display() / #utils.last-slide-number]
+  },
   footer-progress: true,
   ..args,
   body,