CSS tweaks

facelessuser · Feb 19, 2020 · 69ab909 · 69ab909
1 parent ebdeb8e
commit 69ab909
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 7 deletions.
diff --git a/docs/src/scss/_code.scss b/docs/src/scss/_code.scss
@@ -1,7 +1,7 @@
 $md-code-background: hsla(0, 0%, 92.5%, 0.5);
 $md-code-special: hsl(0, 0%, 100%);
-$md-linenos-background-special: hsl(0, 0%, 90%);
-$md-linenos-background-special-table: hsla(0, 0%, 60%, 0.1);
+$md-linenos-background-special: #EEEEEE;
+$md-linenos-background-special-table: hsla(0, 0%, 60%, 0.125);
 $md-linenos-background: hsl(0, 0%, 97%);
 $md-linenos: #999999;
 $md-linenos-border: #DDDDDD;
@@ -59,10 +59,10 @@ $tab-current-label: #FF5252;
       &::before {
         display: inline-block;
         position: sticky;
-        left: -1.2rem;
+        left: -0.6rem;
         margin-right: 0.5rem;
-        margin-left: -1.2rem;
-        padding-left: 1.2rem;
+        margin-left: -0.6rem;
+        padding-left: 0.6rem;
         border-right: 0.0625rem solid $md-linenos-border;
         background-color: $md-linenos-background;
         color: $md-linenos;

diff --git a/docs/theme/extra-7af42efac1.css → docs/theme/extra-02524671b8.css b/docs/theme/extra-7af42efac1.css → docs/theme/extra-02524671b8.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-7af42efac1.css
+  - extra-02524671b8.css
 extra_javascript:
   - extra-0d9305e748.js