move global search to right sidebar

2026-06-04 20:43:04 +00:00 · 2022-01-30 00:58:53 +03:00
parent e847574446
commit 3eef90dc8a
16 changed files with 221 additions and 171 deletions
@@ -7,12 +7,16 @@ $green: #439443;
 $separator: #ffffff46;
 $pink: #c43a3a;
 $highlight-blue: #006eff;
+$bbb: #050608; //bottom controls background
+
 // sizes
-$small: 0.5em;
-$smaller: 0.25em;
+$small: 0.5rem;
+$smaller: 0.25rem;
+$medium: 0.75rem;
+$large: 1.5rem;
+$larger: 2rem;

 // media query mixins
-
@mixin phone-only {
  @media (max-width: 599px) {
    @content;