add github logo

uNmAnNeR · Apr 13, 2023 · f8175da · f8175da
1 parent fb8659d
commit f8175da
Show file tree

Hide file tree

Showing 4 changed files with 23 additions and 1 deletion.
diff --git a/docs/_includes/default_header.html b/docs/_includes/default_header.html
@@ -1,10 +1,10 @@
 <header>
   {% include title.html %}
+  <a class="github-link" href="{{ site.repository }}">on Github</a>
   <nav class="breadcrumbs push-center">
     <ul>
       <li><a href="guide.html">guide</a></li>
       <li><a href="api/">api<sup>beta</sup></a></li>
-      <li><a href="{{ site.repository }}">on Github</a></li>
     </ul>
   </nav>
 </header>
diff --git a/docs/css/main.css b/docs/css/main.css
@@ -1,6 +1,7 @@
 header {
   margin: 30px 0;
   text-align: center;
+  position: relative;
 }
 
 nav {
@@ -182,3 +183,23 @@ fieldset *:last-child {
   padding-left: 12px;
   margin: 0;
 }
+
+.github-link {
+  text-indent: -9999px;
+  background-image: url(../i/github-mark.svg);
+  background-size: contain;
+  background-repeat: no-repeat;
+  background-position: center;
+  width: 24px;
+  height: 24px;
+  display: inline-block;
+  opacity: 0.7;
+  position: absolute;
+  right: 0;
+  top: 0;
+  transition: opacity 0.2s ease;
+}
+
+.github-link:hover {
+  opacity: 1;
+}
diff --git a/docs/i/GitHub-Mark-32px.png b/docs/i/GitHub-Mark-32px.png
diff --git a/docs/i/github-mark.svg b/docs/i/github-mark.svg