docs: logo: apply path effects

lukas-weber · Aug 4, 2023 · 1152aa7 · 1152aa7
1 parent 6f4cb71
commit 1152aa7
Show file tree

Hide file tree

Showing 2 changed files with 234 additions and 527 deletions.
diff --git a/docs/make.jl b/docs/make.jl
@@ -8,7 +8,13 @@ makedocs(
         "index.md",
         "cli.md",
         "abstract_mc.md",
-        "Advanced Topics" => ["evaluables.md", "jobtools.md", "resulttools.md", "rng.md", "parallel_run_mode.md"],
+        "Advanced Topics" => [
+            "evaluables.md",
+            "jobtools.md",
+            "resulttools.md",
+            "rng.md",
+            "parallel_run_mode.md",
+        ],
     ],
 )