Merge pull request #17 from Rareloop/ui-tweaks

Tweak UI
Rareloop · Feb 15, 2022 · d14546a · d14546a
2 parents e609329 + 3ba3916
commit d14546a
Show file tree

Hide file tree

Showing 7 changed files with 1,842 additions and 622 deletions.
diff --git a/frontend/dist/css/primer.css b/frontend/dist/css/primer.css
@@ -820,7 +820,7 @@
 }
 
 .primer-pattern__content {
-  margin: 0 12px 12px;
+  margin: 0 12px;
   padding: 16px;
   border: 1px solid rgba(151, 151, 151, 0.17);
 }
@@ -829,6 +829,12 @@
   padding: 0 12px 12px;
 }
 
+.primer-tabs-toc {
+  border-right: 1px solid rgba(151, 151, 151, 0.17);
+  border-left: 1px solid rgba(151, 151, 151, 0.17);
+  background: #fdfdfd;
+}
+
 .primer-tab__title,
 .primer-tabs-toc__link {
   -webkit-font-smoothing: antialiased;
@@ -1036,6 +1042,14 @@ code[class*="language-"] {
   hyphens: none;
 }
 
+pre[class*="language-"]::-moz-selection,
+code[class*="language-"]::-moz-selection,
+pre[class*="language-"]::mozselection,
+code[class*="language-"]::mozselection {
+  text-shadow: none;
+  background: #b3d4fc;
+}
+
 pre[class*="language-"]::selection,
 code[class*="language-"]::selection,
 pre[class*="language-"]::mozselection,

diff --git a/frontend/dist/css/primer.min.css b/frontend/dist/css/primer.min.css