diff --git a/build.sbt b/build.sbt
index b2fd87df..e3dd1789 100644
--- a/build.sbt
+++ b/build.sbt
@@ -15,7 +15,7 @@ ThisBuild / tlSonatypeUseLegacyHost := true
 ThisBuild / githubWorkflowJavaVersions := Seq(JavaSpec.temurin("17"))
 ThisBuild / githubWorkflowSbtCommand := "./sbt"
 
-val Scala213 = "2.13.12"
+val Scala213 = "2.13.18"
 
 ThisBuild / crossScalaVersions := Seq("2.12.18", "3.3.1", Scala213)
 ThisBuild / scalaVersion := Scala213
@@ -33,11 +33,17 @@ lazy val core = project.in(file("core"))
 lazy val site = project.in(file("site"))
   .enablePlugins(TypelevelSitePlugin)
   .dependsOn(core)
+  .settings(
+    laikaTheme := tlSiteHelium.value.site
+      .topNavigationBar(
+        homeLink = laika.helium.config.IconLink.internal(laika.ast.Path.Root / "index.md", laika.helium.config.HeliumIcon.home)
+      )
+      .build
+  )
 
-
-val prometheusV = "1.2.1"
+val prometheusV = "1.4.3"
 val catsV = "2.9.0"
-val catsEffectV = "3.4.8"
+val catsEffectV = "3.6.3"
 val shapelessV = "2.3.9"
 
 val munitCatsEffectV = "1.0.7"
diff --git a/docs/docs/05-Counter.md b/docs/docs/05-Counter.md
index d5da40c2..c8955af7 100644
--- a/docs/docs/05-Counter.md
+++ b/docs/docs/05-Counter.md
@@ -71,7 +71,9 @@ labelledExample.unsafeRunSync()
 An Example of a Counter backed algebra.
 
 ```scala mdoc
-sealed trait Foo; case object Bar extends Foo; case object Baz extends Foo;
+sealed trait Foo
+case object Bar extends Foo
+case object Baz extends Foo
 
 def fooLabel(f: Foo) = {
   f match {
@@ -83,7 +85,9 @@ def fooLabel(f: Foo) = {
 trait FooAlg[F[_]]{
   def bar: F[Unit]
   def baz: F[Unit]
-}; object FooAlg {
+}
+
+object FooAlg {
   def impl[F[_]](c: Counter.UnlabelledCounter[F, Foo]) = new FooAlg[F]{
     def bar: F[Unit] = c.label(Bar).inc
     def baz: F[Unit] = c.label(Baz).inc