Skip to content

Hackage gruvbox by elkowar

Details

Authorelkowar

LicenseNo License

Categoryhackage

Created

Updated

Size6.9 kB

Statistics

Learn how we calculate statistics in the FAQ.

Failed to fetch stats.

Description

Hackage gruvbox styles

Notes

Userstyle doesn't have notes.

Source code

/* ==UserStyle==
@name           Haskellstuff
@namespace      github.com/openstyles/stylus
@version        1.0.0
@description    A new userstyle
@author         ElKowar
@preprocessor   stylus
==/UserStyle== */
@-moz-document domain("hackage.haskell.org") {
    :root {
        --elk-font-family: "Terminus (TTF)";
        --elk-font-size: 14px;
        
        --elk-bg-dark: #1d2021;
        --elk-bg-darkisher: #202020;
        --elk-bg-darkish: #222222;
        --elk-bg-normal: #282828;
        --elk-bg-brighter: #504945;
        
        --elk-border: #353331;
        
        --elk-fg-normal: #ebdbb2;
        --elk-fg-brighter: #fbf1c7;
        --elk-fg-darker: #d5c4a1;
        --elk-fg-dark: #a89984;
        --elk-fg-inactive: #696969;
        
        --elk-red: #fb4934;
        --elk-purple: #b16286;
        --elk-blue: #458588;
        --elk-green: #b8bb26;
        --elk-aqua: #83c07c;
        --elk-yellow: #fabd2f;
        --elk-orange: #fe8019;
        
        --elk-accent: var(--elk-aqua);
    }

    :root {
        --monospaced: "Jetbrains Mono";
        --monospaced-size: 14px;
        --monospaced-small: cozette;
    }

    * {
        color: var(--elk-fg-normal);
        border-color: var(--elk-fg-normal) !important;
    }

    #table-of-contents #contents-list {
        background: inherit;
    }

    .subs,
    .top > .doc,
    .subs > .doc {
        border-left: none;
    }


    #package-header {
        border: none;
        background-color: var(--elk-bg-dark);
        #page-menu a:link, #package-header #page-menu a {
            color: var(--elk-fg-normal);
        }
    }

    body, html {
        background-color: var(--elk-bg-normal);
        color: var(--elk-fg-normal);
    }


    #package-header {
        padding: 0.5rem;
    }

    a {
        &[href]:link {
            color: var(--elk-blue);
        }
        &[href]:visited {
            color: var(--elk-aqua);
        }
    }
    #footer {
        display: none;
    }


    table.info,
    #table-of-contents {
        background-color: var(--elk-bg-dark);
        border: none;
        box-shadow: 1px 1px 5px 0 rgba(0, 0, 0, 0.4);
        padding: 1rem;
    }
    
    body {
        padding: 0 !important;
        margin: 0 !important;
    }

    pre {
        margin: 0;
        padding: 30px;
    }


    h1,
    h2,
    h3,
    h4,
    h5,
    th,
    .caption {
        border: none !important;
        color: var(--elk-blue) !important;
        a {
            color: inherit !important;
        }
    }

    #description,
    #module-header,
    #synopsis,
    #interface {
        /* surrounding element of a piece of documentation */
        .top {
            background-color: var(--elk-bg-normal);
            box-shadow: 0px 4px 5px -1px rgba(0, 0, 0, 0.3);
            & > :last-child {
                padding-bottom: 0.2rem;
            }
        }


        .src,
        pre,
        code {
            /*font-family: "Terminus (TTF)";*/
            font-family: var(--monospaced);
            font-size: var(--monospaced-size);
            font-weight: normal !important;
            .def {
                font-weight: normal !important;
            }
        }

        .src,
        pre {
            background-color: var(--elk-bg-dark) !important;
            padding: 0.5rem;
            border: none !important;

            .selflink {
                display: none;
            }
            .link {
                background: var(--elk-aqua) !important;
                color: var(--elk-bg-dark) !important;
                border: none;
                margin: -0.4rem !important;
                padding: 0.4rem !important;
                margin-left: 1rem !important;
            }
        }


        summary {
            color: var(--elk-aqua);
            list-style-image: unset !important;
        }



        .key {
            background: none;
            border: none;
            font-family: var(--monospaced-small);
        }

        #synopsis details .details-toggle {
            background-color: var(--elk-bg-dark);
            box-shadow: 0 0 10px 0 rgba(0, 0, 0, 0.3);
            .subs {
                background: none;
            }
        }

        .details-toggle-control {
            background: none;
            margin-left: -0.8rem !important;
        }
        .expander::before, .collapser::before {
            margin-left: 1rem;
        }

        
    }

    #search {
        overflow: visible;
        #search-form,
        #search-results {
            box-shadow: 3px 3px 10px -4px rgba(0, 0, 0, 0.3);
            background-color: var(--elk-bg-normal);
            border: none;
            overflow: hidden;
            border-radius: 4px
        }
        #search-form input {
            background-color: var(--elk-bg-dark);
            border: none;
            padding: 1rem;
            &::placeholder {
                font-size: 1rem;
                color: var(--elk-fg-inactive);
            }
        }
        #search-results {
            margin-top: 1rem;
            background-color: var(--elk-bg-dark);
            padding: 1rem;
        }
    }

    /* source view */
    .hs-identifier {
        color: var(--elk-aqua);
        &.hs-var {
            color: var(--elk-fg-normal);
        }
        &.hs-type {
            color: var(--elk-blue);
        }
    }
    .hs-operator {
        color: var(--elk-blue);
    }
    .hs-keyword {
        color: var(--elk-red);
    }
    .hs-number,
    .hs-glyph {
        color: var(--elk-blue);
    }
    .hs-string {
        color: var(--elk-fg-normal);
    }
    .hs-comment {}


    /* module startpage */
    #page-header {
        border: none;
        padding: 0.3rem 1rem
    }
    #properties {
        background: var(--elk-bg-dark) !important;
        box-shadow: 3px 3px 10px -3px rgba(0, 0, 0, 0.4);
        padding: 0.8rem;
        a {
            color: var(--elk-aqua);
        }
    }
    #readme-container {
        pre {
            background-color: var(--elk-bg-dark);
        }
        .embedded-author-content {
            border: none;
        }
    }


    /* package search */
    form input,
    #table_wrapper.dataTables_wrapper #table_length select,
    #table_wrapper.dataTables_wrapper #table_filter input {
        background-color: var(--elk-bg-brighter);
        border: none;
        padding: 0.2rem 0.5rem;
    }
    #table_wrapper {
        box-shadow: 0 0 10px 0 rgba(0, 0, 0, 0.2);
        padding: 1rem;
        table {
            border: none;
            & * {
                background-color: var(--elk-bg-normal) !important;
                border: none;
            }
        }
    }
    #table_paginate {
        a {
            border: none;
            background: var(--elk-bg-dark) !important;
            color: var(--elk-fg-normal) !important;
        }
    }
}

Reviews

No reviews yet.