add logo (#172)

JuliaGeometry · Oct 26, 2021 · 023dcbb · 023dcbb
1 parent c199f51
commit 023dcbb
Show file tree

Hide file tree

Showing 3 changed files with 108 additions and 1 deletion.
diff --git a/docs/make.jl b/docs/make.jl
@@ -10,7 +10,7 @@ makedocs(;
     format=Documenter.HTML(;
         prettyurls=get(ENV, "CI", "false") == "true",
         canonical="https://JuliaGeometry.github.io/Rotations.jl",
-        assets=String[],
+        assets = ["assets/custom.css"],
     ),
     pages=[
         "Home" => "index.md",

diff --git a/docs/src/assets/custom.css b/docs/src/assets/custom.css
@@ -0,0 +1,4 @@
+#documenter .docs-sidebar .docs-logo > img,
+html.theme--documenter-dark #documenter .docs-sidebar .docs-logo > img {
+    max-height: 8rem;
+}
diff --git a/docs/src/assets/logo.svg b/docs/src/assets/logo.svg