put the logo in the header

tapjs · Sep 29, 2023 · 390b9f9 · 390b9f9
1 parent 414d146
commit 390b9f9
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 1 deletion.
diff --git a/src/docs/content/static/big-logo.png b/src/docs/content/static/big-logo.png
diff --git a/src/docs/content/static/index.css b/src/docs/content/static/index.css
@@ -87,6 +87,8 @@ a:hover {
   -webkit-box-align: center;
   align-items: center;
   padding: 0 10px;
+  background: url(/static/small-logo.png) left center no-repeat;
+  background-size: 78px 72px;
 }
 #top h1 a {
   display: flex;
@@ -103,7 +105,7 @@ a:hover {
   margin: 0;
   font-weight: 700;
   font-size: 26px;
-  padding: 0 10px;
+  padding: 0 10px 0 70px;
   letter-spacing: 1px;
   text-shadow: rgba(136, 136, 136, 0.32) 1px -2px 1px;
   text-decoration: none;

diff --git a/src/docs/content/static/small-logo.png b/src/docs/content/static/small-logo.png