Update terminal colors and fonts

pls-rs · Sep 15, 2024 · 7c73781 · 7c73781
1 parent db9f587
commit 7c73781
Show file tree

Hide file tree

Showing 2 changed files with 38 additions and 38 deletions.
diff --git a/docs/src/styles/font.css b/docs/src/styles/font.css
@@ -1,33 +1,33 @@
 @font-face {
-  font-family: "JetBrainsMono";
-  src: url("https://cdn.jsdelivr.net/gh/JetBrains/JetBrainsMono@2.304/fonts/webfonts/JetBrainsMono-Regular.woff2")
+  font-family: "Monaspace";
+  src: url("https://cdn.jsdelivr.net/gh/githubnext/monaspace@v1.101/fonts/webfonts/MonaspaceNeon-Regular.woff2")
     format("woff2");
   font-weight: 400;
   font-style: normal;
   font-display: swap;
 }
 
 @font-face {
-  font-family: "JetBrainsMono";
-  src: url("https://cdn.jsdelivr.net/gh/JetBrains/JetBrainsMono@2.304/fonts/webfonts/JetBrainsMono-Italic.woff2")
+  font-family: "Monaspace";
+  src: url("https://cdn.jsdelivr.net/gh/githubnext/monaspace@v1.101/fonts/webfonts/MonaspaceNeon-Italic.woff2")
     format("woff2");
   font-weight: 400;
   font-style: italic;
   font-display: swap;
 }
 
 @font-face {
-  font-family: "JetBrainsMono";
-  src: url("https://cdn.jsdelivr.net/gh/JetBrains/JetBrainsMono@2.304/fonts/webfonts/JetBrainsMono-Bold.woff2")
+  font-family: "Monaspace";
+  src: url("https://cdn.jsdelivr.net/gh/githubnext/monaspace@v1.101/fonts/webfonts/MonaspaceNeon-Bold.woff2")
     format("woff2");
   font-weight: 700;
   font-style: normal;
   font-display: swap;
 }
 
 @font-face {
-  font-family: "JetBrainsMono";
-  src: url("https://cdn.jsdelivr.net/gh/JetBrains/JetBrainsMono@2.304/fonts/webfonts/JetBrainsMono-BoldItalic.woff2")
+  font-family: "Monaspace";
+  src: url("https://cdn.jsdelivr.net/gh/githubnext/monaspace@v1.101/fonts/webfonts/MonaspaceNeon-BoldItalic.woff2")
     format("woff2");
   font-weight: 700;
   font-style: italic;
@@ -41,5 +41,5 @@
 }
 
 :root {
-  --sl-font-mono: "JetBrainsMono", "Symbols";
+  --sl-font-mono: "Monaspace", "Symbols";
 }
diff --git a/docs/src/styles/terminal.css b/docs/src/styles/terminal.css
@@ -1,43 +1,43 @@
-/* Solarized color palette */
+/** Catppuccin color palette */
+
 :root {
+  /* Used as brand colors. */
   --sol-red: #dc322f;
-  --sol-bright-red: #cb4b16;
-  --sol-green: #859900;
-  --sol-yellow: #b58900;
-  --sol-blue: #268bd2;
   --sol-magenta: #d33682;
-  --sol-bright-magenta: #6c71c4;
-  --sol-cyan: #2aa198;
-
-  --sol-base03: #002b36;
-  --sol-base02: #073642;
-  --sol-base00: #657b83;
-  --sol-base0: #839496;
-  --sol-base2: #eee8d5;
-  --sol-base3: #fdf6e3;
 }
 
 pre.terminal {
-  --black: var(--sol-base02);
-  --red: var(--sol-red);
-  --bright-red: var(--sol-bright-red);
-  --green: var(--sol-green);
-  --yellow: var(--sol-yellow);
-  --blue: var(--sol-blue);
-  --magenta: var(--sol-magenta);
-  --bright-magenta: var(--sol-bright-magenta);
-  --cyan: var(--sol-cyan);
-  --white: var(--sol-base2);
-
-  background-color: var(--sol-base03);
-  color: var(--sol-base0);
+  --black: #45475a;
+  --bright-black: #585b70;
+  --red: #f38ba8;
+  --green: #a6e3a1;
+  --yellow: #f9e2af;
+  --blue: #89b4fa;
+  --magenta: #f5c2e7;
+  --cyan: #94e2d5;
+  --white: #bac2de;
+  --bright-white: #a6adc8;
+
+  background-color: #1e1e2e;
+  color: #cdd6f4;
 
   font-family: var(--__sl-font-mono);
 }
 
 :root[data-theme="light"] pre.terminal {
-  background-color: var(--sol-base3);
-  color: var(--sol-base00);
+  --black: #bcc0cc;
+  --red: #d20f39;
+  --green: #40a02b;
+  --yellow: #df8e1d;
+  --blue: #1e66f5;
+  --magenta: #ea76cb;
+  --cyan: #179299;
+  --white: #5c5f77;
+  --bright-black: #acb0be;
+  --bright-white: #6c6f85;
+
+  background-color: #eff1f5;
+  color: #4c4f69;
 }
 
 pre.terminal p {