style(landing_page): fix the style of github logo on the landing page (…

…sparckles#419)
Sammo98 · Feb 18, 2023 · 4708c5b · 4708c5b
1 parent da29124
commit 4708c5b
Show file tree

Hide file tree

Showing 3 changed files with 294 additions and 286 deletions.
diff --git a/docs/landing_page/css/globals.css b/docs/landing_page/css/globals.css
@@ -0,0 +1,4 @@
+.github_logo {
+  margin-bottom: -5px;
+  padding-top: 4px;
+}
diff --git a/docs/landing_page/index.html b/docs/landing_page/index.html
@@ -21,6 +21,8 @@
 
     <!-- Bootstrap CSS / Color Scheme -->
     <link rel="stylesheet" href="css/bootstrap.css" />
+    <link rel="stylesheet" href="css/globals.css" />
+
 
     <!-- Page icon -->
     <link rel="icon" type="image/png" href="https://user-images.githubusercontent.com/29942790/140995889-5d91dcff-3aa7-4cfb-8a90-2cddf1337dca.png" />
@@ -45,7 +47,7 @@
               class="btn btn-success"
               target="_blank"
             >
-              <em class="mr-2" data-feather="github"></em>
+              <em class="github_logo mr-2" data-feather="github"></em>
               View Source
             </a>
           </div>