catppuccin.user.css

/* ==UserStyle==
@name Hackage Catppuccin
@namespace github.com/catppuccin/userstyles/styles/hackage
@homepageURL https://github.com/catppuccin/userstyles/tree/main/styles/hackage
@version 0.1.3
@updateURL https://github.com/catppuccin/userstyles/raw/main/styles/hackage/catppuccin.user.css
@supportURL https://github.com/catppuccin/userstyles/issues?q=is%3Aopen+is%3Aissue+label%3Ahackage
@description Soothing pastel theme for Hackage
@author Catppuccin
@license MIT

@preprocessor less
@var select lightFlavor "Light Flavor" ["latte:Latte*", "frappe:Frappé", "macchiato:Macchiato", "mocha:Mocha"]
@var select darkFlavor "Dark Flavor" ["latte:Latte", "frappe:Frappé", "macchiato:Macchiato", "mocha:Mocha*"]
@var select accentColor "Accent" ["rosewater:Rosewater", "flamingo:Flamingo", "pink:Pink", "mauve:Mauve*", "red:Red", "maroon:Maroon", "peach:Peach", "yellow:Yellow", "green:Green", "teal:Teal", "blue:Blue", "sapphire:Sapphire", "sky:Sky", "lavender:Lavender", "subtext0:Gray"]
==/UserStyle== */

@-moz-document domain("hackage.haskell.org") {
  @media (prefers-color-scheme: light) {
    :root {
      #catppuccin(@lightFlavor, @accentColor);
    }
  }
  @media (prefers-color-scheme: dark) {
    :root {
      #catppuccin(@darkFlavor, @accentColor);
    }
  }

  #catppuccin(@lookup, @accent) {
    @rosewater: @catppuccin[@@lookup][@rosewater];
    @flamingo: @catppuccin[@@lookup][@flamingo];
    @pink: @catppuccin[@@lookup][@pink];
    @mauve: @catppuccin[@@lookup][@mauve];
    @red: @catppuccin[@@lookup][@red];
    @maroon: @catppuccin[@@lookup][@maroon];
    @peach: @catppuccin[@@lookup][@peach];
    @yellow: @catppuccin[@@lookup][@yellow];
    @green: @catppuccin[@@lookup][@green];
    @teal: @catppuccin[@@lookup][@teal];
    @sky: @catppuccin[@@lookup][@sky];
    @sapphire: @catppuccin[@@lookup][@sapphire];
    @blue: @catppuccin[@@lookup][@blue];
    @lavender: @catppuccin[@@lookup][@lavender];
    @text: @catppuccin[@@lookup][@text];
    @subtext1: @catppuccin[@@lookup][@subtext1];
    @subtext0: @catppuccin[@@lookup][@subtext0];
    @overlay2: @catppuccin[@@lookup][@overlay2];
    @overlay1: @catppuccin[@@lookup][@overlay1];
    @overlay0: @catppuccin[@@lookup][@overlay0];
    @surface2: @catppuccin[@@lookup][@surface2];
    @surface1: @catppuccin[@@lookup][@surface1];
    @surface0: @catppuccin[@@lookup][@surface0];
    @base: @catppuccin[@@lookup][@base];
    @mantle: @catppuccin[@@lookup][@mantle];
    @crust: @catppuccin[@@lookup][@crust];
    @accent-color: @catppuccin[@@lookup][@@accent];
    @text-filter: @catppuccin[@@lookup][@text-filter];
    @synopsis-filter: @catppuccin[@@lookup][@synopsis-filter];

    color-scheme: if(@lookup = latte, light, dark);

    ::selection {
      background-color: fade(@accent-color, 30%);
    }

    input,
    textarea {
      &::placeholder {
        color: @subtext0 !important;
      }
    }

    &,
    body {
      background-color: @base;
      color: @text;
    }

    a:hover {
      background-color: inherit;
    }

    a[href]:link {
      color: @accent-color;
    }
    a[href]:visited {
      color: average(@overlay2, @accent-color);
    }

    a[href].def:link,
    a[href].def:visited {
      color: @subtext0;
    }
    a[href].def:hover {
      color: average(@overlay2, @subtext0);
    }

    .caption,
    h1,
    h2,
    h3,
    h4,
    h5,
    h6,
    summary,
    .section1,
    .section2,
    .section3,
    .section4,
    .section5,
    .section6 {
      color: overlay(@accent-color, @surface0);
      filter: none;
    }

    .collapser::before,
    .expander::before,
    .noexpander::before {
      color: @accent-color;
    }

    pre {
      background-color: @mantle;
      border-color: @surface1;
    }

    blockquote {
      background-color: @surface0;
      border-color: @accent-color;
    }

    .src,
    .decl,
    .declname,
    .declbut,
    .topdecl,
    .arg {
      background-color: @mantle;
      color: @text;
    }

    .declbut {
      border-color: @overlay0 !important;
      a {
        color: @overlay2 !important;
      }
    }

    /*
     * Headers
     */

    #page-header,
    #package-header {
      background-color: @accent-color;
      color: @surface1;
      border-color: shade(@accent-color, 25%);
    }

    #page-header .caption,
    #package-header .caption,
    #page-header a:link,
    #page-header a:visited {
      color: @base !important;
    }

    #module-header .caption,
    .modulebar {
      color: @accent-color;
      border-color: @surface1;
    }

    #module-header {
      background-color: inherit;
    }

    #package-header {
      &,
      #page-menu {
        a:link,
        a:visited {
          color: @base;
        }
      }
      a:hover {
        background-color: transparent;
      }

      ul.links li {
        border-color: @overlay0;

        &:hover {
          background-color: transparent;
        }
      }
    }

    ul.links li form {
      input,
      button {
        color: @base;
      }
    }

    .topbar {
      background-color: @accent-color;

      .topbut {
        border-color: @overlay0;

        a {
          background-color: transparent;
          color: @base;
        }
      }
      .title {
        color: @base;
      }
    }

    .botbar {
      background-color: @crust;
      color: @text;
    }

    /*
     * Style selectors (for old packages)
     */

    #style-menu {
      background-color: @mantle;

      li {
        &,
        a {
          color: @text !important;
        }
        + li {
          border-color: @overlay2;
        }
      }
    }

    /*
     * Versions
     */

    a.unpreferred[href]:link,
    a.unpreferred[href]:visited {
      color: @yellow;
    }

    a.deprecated[href]:link,
    a.deprecated[href]:visited {
      color: @red;
    }

    .versions {
      a.normal[href]:link,
      a.normal[href]:visited {
        color: @green;
      }
    }

    /*
     * Readme style
     */

    .embedded-author-content {
      border-color: @accent-color;
    }

    /*
     * Contents & synopsis
     */

    #contents-list {
      background-color: @mantle;
    }

    #table-of-contents {
      background-color: @base;
      border-color: @surface1;
    }

    #synopsis {
      summary,
      #control\.syn {
        filter: @synopsis-filter;
      }

      ul {
        &,
        li.src {
          background-color: @surface0;
        }
      }
    }

    /*
     * Quick jump
     */

    #search p.error {
      color: @red;
    }

    #search-form,
    #search-results {
      box-shadow: 2px 2px 6px fade(@mantle, 20%);
    }

    #search-form {
      input {
        border-color: @accent-color;
      }
    }

    #search-results {
      border-color: @accent-color;

      & > ul > li {
        border-bottom-color: @overlay0;
      }
    }

    .search-module > ul > li > a[href].active-link {
      background-color: @surface2;
    }

    .search-result ul.subs::after {
      color: @subtext1;
    }

    .more-results,
    .more-results::before {
      color: @subtext0;
    }

    .keyboard-shortcuts th {
      color: @accent-color;
    }

    .key {
      background-color: @mantle;
      color: @text;
      border-color: @mantle;
    }

    /*
     * Dropdown
     */

    .dropdown-menu {
      background-color: @surface0;
      border-color: @surface0;

      button {
        background-color: @accent-color;
        color: @mantle;
        border-color: @surface2;

        &:hover,
        &:active {
          background-color: @accent-color;
          color: @mantle;
        }
      }
    }

    /*
     * Tables
     */

    table {
      &.info {
        background-color: @base;
        color: @subtext1;
        border-color: @surface1;
      }

      &.fancy {
        &,
        tr {
          border-color: @surface1;
        }
        tr.even td {
          background-color: @mantle;
        }
      }

      &.fancy,
      &.properties,
      &.dataTable.compact.fancy tbody {
        th,
        td {
          background-color: @base;
        }
      }
    }

    .doc {
      th,
      td {
        border-color: @surface1;
      }
      th {
        background-color: @mantle;
      }
    }

    .infohead,
    .infoval {
      color: @subtext1;
    }

    div#table_length.dataTables_length,
    div#table_filter.dataTables_filter {
      color: @text;
    }

    div #description table {
      &,
      tr td {
        border-color: @surface1;
      }
      th {
        background-color: @mantle;
      }
    }

    /*
     * Source links
     */

    #interface {
      .src {
        .link,
        .selflink {
          color: @overlay2 !important;
          background-color: transparent !important;
        }
      }
      p.src .link {
        background-color: transparent;
        color: @overlay2;
        border-color: @overlay1;
      }

      span.fixity,
      span.rightedge {
        color: @overlay1;
        border-left-color: @overlay1;
      }
      span.fixity {
        color: @overlay1;
      }
    }

    /*
     * Paginator
     */

    .paginator {
      span {
        color: @text;
      }

      a {
        color: @overlay1;

        &[href]:link,
        &:link:hover {
          color: @accent-color;
        }
        &:visited,
        &:visited:hover {
          color: average(@overlay2, @accent-color);
        }
        &:link:hover,
        &:visited:hover {
          background-image: none;
          background-color: @surface1;
          border-color: transparent;
        }
      }

      .current,
      .current:hover {
        background-image: none;
        background-color: @surface0;
        color: @accent-color;
        border-color: transparent;
      }
    }

    .paginate_button {
      background-color: @overlay0;
    }

    /*
     * Search query
     */

    #browseTable th {
      border-color: @surface1;
    }

    #fatalError {
      color: @red;
    }

    input:invalid {
      border-color: @yellow;
      box-shadow: 0 0 10px @yellow;
    }

    input {
      background-color: @mantle;
      border-style: solid;
      border-color: @surface0;
      border-radius: 4px;
    }

    input[type="range"] {
      -moz-appearance: none;
      -webkit-appearance: none;
      appearance: none;
      background-color: @mantle;
      height: 0.2em !important;

      &::-moz-range-thumb,
      &::-webkit-slider-thumb {
        background-color: @text;
        border-color: @surface0;
        height: 1em !important;
      }
    }

    input[type="submit"] {
      color: @text;
    }

    input[type="range"]:hover,
    input[type="submit"]:hover {
      background-color: @crust;
    }

    /*
     * Others
     */

    .candidate-warn {
      background-color: @mantle;
      border-color: @red;
    }

    .candidate-info {
      background-color: @mantle;
      border-color: @blue;
    }

    .box {
      background-color: @base;
      border-color: @base;
    }

    div#modal #content,
    #search-results {
      background-color: @surface0;
    }

    .subs,
    .top > .doc,
    .subs > .doc {
      border-left-color: @surface1;
    }

    .subs .subs p.src {
      background-color: @mantle;
    }

    .top p.src {
      border-color: @surface0;
    }

    .warning,
    strong.warning {
      color: @red;
    }

    small.info,
    .flags-table .flag-disabled {
      color: @subtext0;
    }

    .text-button {
      color: @accent-color;
    }

    p.registration-email {
      border-color: @accent-color;
    }

    :target {
      background-image: linear-gradient(
        to bottom,
        transparent 0%,
        transparent 65%,
        average(@surface0, @yellow) 60%,
        average(@surface0, @yellow) 100%
      );
    }
    :target:hover {
      background-image: linear-gradient(
        to bottom,
        overlay(@surface0, @yellow) 0%,
        overlay(@surface0, @yellow) 100%
      );
    }

    #footer {
      background-color: @crust;
      color: @subtext1;
      border-color: @overlay0;
    }

    /*
     * MathJax
     */

    #MathJax_Message {
      background-color: @mantle;
      border-color: @surface1;
      color: @text;
    }

    #MathJax_About,
    #MathJax_Help,
    .MathJax_Menu {
      background-color: @surface0;
      color: @text;
      border-color: @accent-color;
      box-shadow: 0 10px 20px @mantle;
      -webkit-box-shadow: 0 10px 20px @mantle;
      -moz-box-shadow: 0 10px 20px @mantle;
    }

    #MathJax_About > span,
    #MathJax_HelpContent {
      background-color: @surface1 !important;
      color: @subtext1 !important;
      border-color: @overlay0 !important;
    }

    .MathJax_MenuArrow {
      color: @subtext1;
    }

    .MathJax_MenuRule {
      border-top-color: @overlay0;
    }

    .MathJax_MenuActive {
      background-color: @surface1;
      color: @text;
    }

    .MathJax_MenuDisabled {
      color: @overlay2;
    }

    .MathJax_MenuDisabled:focus,
    .MathJax_MenuLabel:focus {
      background-color: @surface1;
    }

    #MathJax_AboutClose,
    #MathJax_HelpClose {
      border-color: @surface2;
      color: @subtext0;
      span {
        background-color: @surface2;
      }

      &:hover {
        color: @text !important;
        border-color: @overlay0 !important;
        span {
          background-color: @overlay0 !important;
        }
      }
    }

    span.mathjax img {
      filter: @text-filter;
    }

    /*
     * Sources
     */

    span.definition,
    .hs-identifier {
      color: @blue;
    }

    .hs-identifier.hs-type {
      color: @yellow;
    }

    span.keyword,
    .hs-keyword {
      color: @mauve;
    }

    span.str,
    span.char,
    .hs-string,
    .hs-char,
    .hs-str,
    .hs-chr {
      color: @green;
    }

    .hs-number {
      color: @peach;
    }

    .hs-operator {
      color: @sky;
    }

    span.keyglyph,
    span.layout,
    span.conop,
    .hs-keyglyph,
    .hs-layout,
    .hs-glyph,
    .hs-special {
      color: @overlay2;
    }

    span.comment,
    .hs-comment,
    .hs-comment a {
      color: @overlay0;
    }

    span.cpp,
    .hs-pragma,
    .hs-cpp {
      color: @pink;
    }

    pre a {
      &:link,
      &:visited {
        border-bottom-color: @surface0;
      }
      &:hover,
      &.hover-highlight {
        background-color: @surface0;
      }
    }

    span.annot {
      color: @text;

      &:hover {
        background-color: @surface1;
      }

      span.annottext {
        background-color: @surface0;
        border-color: @accent-color;
      }
    }
  }
}

/* prettier-ignore */
@catppuccin: {
  @latte: {
    @rosewater: #dc8a78; @flamingo: #dd7878; @pink: #ea76cb; @mauve: #8839ef; @red: #d20f39; @maroon: #e64553; @peach: #fe640b; @yellow: #df8e1d; @green: #40a02b; @teal: #179299; @sky: #04a5e5; @sapphire: #209fb5; @blue: #1e66f5; @lavender: #7287fd; @text: #4c4f69; @subtext1: #5c5f77; @subtext0: #6c6f85; @overlay2: #7c7f93; @overlay1: #8c8fa1; @overlay0: #9ca0b0; @surface2: #acb0be; @surface1: #bcc0cc; @surface0: #ccd0da; @base: #eff1f5; @mantle: #e6e9ef; @crust: #dce0e8;
    @text-filter: brightness(0) saturate(100%) invert(30%) sepia(10%) saturate(1259%) hue-rotate(196deg) brightness(97%) contrast(91%);
    @synopsis-filter: sepia(100%) invert(100%) saturate(0) invert(94%) sepia(7%) saturate(345%) hue-rotate(188deg) brightness(91%) contrast(87%);
  };
  @frappe: {
    @rosewater: #f2d5cf; @flamingo: #eebebe; @pink: #f4b8e4; @mauve: #ca9ee6; @red: #e78284; @maroon: #ea999c; @peach: #ef9f76; @yellow: #e5c890; @green: #a6d189; @teal: #81c8be; @sky: #99d1db; @sapphire: #85c1dc; @blue: #8caaee; @lavender: #babbf1; @text: #c6d0f5; @subtext1: #b5bfe2; @subtext0: #a5adce; @overlay2: #949cbb; @overlay1: #838ba7; @overlay0: #737994; @surface2: #626880; @surface1: #51576d; @surface0: #414559; @base: #303446; @mantle: #292c3c; @crust: #232634;
    @text-filter: brightness(0) saturate(100%) invert(84%) sepia(5%) saturate(1519%) hue-rotate(192deg) brightness(100%) contrast(93%);
    @synopsis-filter: sepia(100%) invert(100%) saturate(0) invert(25%) sepia(25%) saturate(486%) hue-rotate(193deg) brightness(90%) contrast(89%);
  };
  @macchiato: {
    @rosewater: #f4dbd6; @flamingo: #f0c6c6; @pink: #f5bde6; @mauve: #c6a0f6; @red: #ed8796; @maroon: #ee99a0; @peach: #f5a97f; @yellow: #eed49f; @green: #a6da95; @teal: #8bd5ca; @sky: #91d7e3; @sapphire: #7dc4e4; @blue: #8aadf4; @lavender: #b7bdf8; @text: #cad3f5; @subtext1: #b8c0e0; @subtext0: #a5adcb; @overlay2: #939ab7; @overlay1: #8087a2; @overlay0: #6e738d; @surface2: #5b6078; @surface1: #494d64; @surface0: #363a4f; @base: #24273a; @mantle: #1e2030; @crust: #181926;
    @text-filter: brightness(0) saturate(100%) invert(81%) sepia(9%) saturate(726%) hue-rotate(192deg) brightness(104%) contrast(92%);
    @synopsis-filter: sepia(100%) invert(100%) saturate(0) invert(19%) sepia(15%) saturate(979%) hue-rotate(193deg) brightness(101%) contrast(90%);
  };
  @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;
    @text-filter: brightness(0) saturate(100%) invert(85%) sepia(6%) saturate(1356%) hue-rotate(194deg) brightness(103%) contrast(91%);
    @synopsis-filter: sepia(100%) invert(100%) saturate(0) invert(17%) sepia(17%) saturate(874%) hue-rotate(198deg) brightness(90%) contrast(89%);
  };
}

// vim:ft=less