Rounded corners and tweaked shadow colour

gleam-lang · Mar 26, 2024 · b5c2020 · b5c2020
1 parent ccf75d2
commit b5c2020
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/static/common.css b/static/common.css
@@ -18,6 +18,7 @@
   --menthol: #c8ffa7;
   --caramel: #ffd596;
   --deep-saffron: #ff9d35;
+  --deep-sea-blue: #202431;
   --tomato: #ff6262;
 
   /* Semantic colors */
@@ -34,7 +35,7 @@
 
   /* Dark theme */
   --dark-theme-background: var(--underwater-blue);
-  --dark-theme-background-dim: var(--black);
+  --dark-theme-background-dim: var(--deep-sea-blue);
   --dark-theme-text: var(--white);
   --dark-theme-text-secondary: var(--aged-plastic-yellow);
   --dark-theme-code: var(--deep-saffron);

diff --git a/static/css/pages/everything.css b/static/css/pages/everything.css
@@ -167,6 +167,7 @@ h3 {
   background: var(--code-background);
   transition: background 150ms linear 0s, box-shadow 150ms linear 0s;
   box-shadow: var(--drop-shadow);
+  border-radius: .25rem;
 }
 
 #everything-lessons .lesson-snippet code {
@@ -190,7 +191,7 @@ h3 {
   gap: var(--gap);
   font-size: var(--font-size-small);
   color: var(--color-link);
-  border-radius: none;
+  border-radius: .25rem 0 .25rem 0;
   text-decoration: none;
   outline: 1px solid transparent;
   outline-offset: -1px;