rescript-lang.org by jruz

/* ==UserStyle==
@name         rescript-lang.org
@version      20230804.08.53
@namespace    ?
==/UserStyle== */

@-moz-document domain("rescript-lang.org") {
:root {
  /* Catppuccin Mocha */
  --rosewater: #f5e0dc;
  --flamingo: #f2cdcd;
  --pink: #f5c2e7;
  --mauve: #cba6f7;
  --red: #f38ba8;
  --maroon: #eba0ac;
  --peach: #fab387;
  --yellow: #f9e2af;
  --green: #a6e3a1;
  --teal: #94e2d5;
  --sky: #89dceb;
  --sapphire: #74c7ec;
  --blue: #89b4fa;
  --lavender: #b4befe;
  --text: #cdd6f4;
  --subtext1: #bac2de;
  --subtext0: #a6adc8;
  --overlay2: #9399b2;
  --overlay1: #7f849c;
  --overlay0: #6c7086;
  --surface2: #585b70;
  --surface1: #45475a;
  --surface0: #313244;
  --base: #1e1e2e;
  --mantle: #181825;
  --crust: #11111b;
}

body,
input,
textarea {
  background-color: var(--base) !important;
  color: var(--text) !important;
}

[class*="bg-"] {
   background-color: var(--surface0) !important;
}

[class*="border-"] {
   border-color: var(--surface1) !important;
}

[class*="text-"],
[class*="hl-"],
p {
  color: var(--text) !important;
}
}