More CSS tweaks

Correct padding of code
facelessuser · Feb 19, 2020 · 96e0f59 · 96e0f59
1 parent 69ab909
commit 96e0f59
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/docs/src/scss/_code.scss b/docs/src/scss/_code.scss
@@ -60,7 +60,7 @@ $tab-current-label: #FF5252;
         display: inline-block;
         position: sticky;
         left: -0.6rem;
-        margin-right: 0.5rem;
+        margin-right: 0.6rem;
         margin-left: -0.6rem;
         padding-left: 0.6rem;
         border-right: 0.0625rem solid $md-linenos-border;
@@ -75,8 +75,8 @@ $tab-current-label: #FF5252;
       }
 
       + .hll {
-        margin: 0 -0.5rem;
-        padding: 0 0.5rem;
+        margin: 0 -0.6rem;
+        padding: 0 0.6rem;
       }
     }
   }

diff --git a/docs/theme/extra-02524671b8.css → docs/theme/extra-3e0384323a.css b/docs/theme/extra-02524671b8.css → docs/theme/extra-3e0384323a.css
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -136,7 +136,7 @@ extra:
     - icon: brands/github
       link: https://github.com/facelessuser
 extra_css:
-  - extra-02524671b8.css
+  - extra-3e0384323a.css
 extra_javascript:
   - extra-0d9305e748.js