etools.ch Modern Theme

A modern theme for etools.ch

You will need to install an extension such as Tampermonkey, Greasemonkey or Violentmonkey to install this script.

You will need to install an extension such as Tampermonkey to install this script.

You will need to install an extension such as Tampermonkey or Violentmonkey to install this script.

You will need to install an extension such as Tampermonkey or Userscripts to install this script.

You will need to install an extension such as Tampermonkey to install this script.

You will need to install a user script manager extension to install this script.

(I already have a user script manager, let me install it!)

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

(I already have a user style manager, let me install it!)

/* ==UserStyle==
@name         etools.ch Modern Theme
@description  A modern theme for etools.ch
@namespace    www.etools.ch
@author       Ryan Wilson
@license      AGPL-3.0-or-later
@version      0.1.0
@preprocessor stylus
@homepageURL  https://userstyles.world/style/16879/etools-ch-modern-theme

@var checkbox betterSearchBar "Better Search Bar" 1
@var checkbox minimalBoxes "Minimal Boxes" 1
@var checkbox braveSearchLinkColors "Brave Search Link Colors" 1
@var checkbox modernFonts "Modern Fonts" 1
==/UserStyle== */
/* https://github.com/openstyles/stylus/wiki/Writing-UserCSS */
@-moz-document domain("www.etools.ch") {
    if braveSearchLinkColors {
        a.title:visited {
            color: #7431dd;
        }

        a.title:link,
        a.title:visited {
            color: #1841d2;
        }
    }
    a:link,
    a:visited {
        color: #62757e;
    }

    /* Indent the description of the search results */
    div.text,
    div.attr {
        padding-left: 10px;
    }

    /* Fix the misalignment from the result status to the right sidebar */
    p.resultStatus {
        padding-top: 0px;
    }

    if minimalBoxes {
        td.menuArea {
            background-color: #fff;
        }
        ul.menuList {
            background-color: #69C;
        }
    }


    if betterSearchBar {
        .searchInput {
            text-align: center;
            border-spacing: 29px;
            box-sizing: border-box;
        }
        input {
            min-height: 38px;
        }
        input.query {
            width: 50em;
        }
        input.submit {
            font-weight: bold
        }
    }

    if modernFonts {
        @import url('https://fonts.googleapis.com/css2?family=JetBrains+Mono:ital,wght@0,100..800;1,100..800&family=Open+Sans:ital,wght@0,300..800;1,300..800&display=swap');
        @import url('https://fonts.googleapis.com/css2?family=Roboto:ital,wght@0,100;0,300;0,400;0,500;0,700;0,900;1,100;1,300;1,400;1,500;1,700;1,900&display=swap');

        /* Global default font */
        body {
            font-family: "Open Sans", sans-serif;
            font-optical-sizing: auto;
            font-style: normal;
            font-size: 1rem;
        }
        /* Search bar */
        input.query,
        input.submit {
            font-size: 16px;
            font-family: "Roboto", sans-serif;
            font-weight: 400;
            font-style: normal;
        }
        /* Search results */
        table.result {
            font-size: .8rem;
        }
        /* Search Results - titles */
        a.title {
            font-size: 16px;
            font-family: "Roboto", sans-serif;
            font-weight: 700;
            font-style: normal;
        }
        /* Sidebar (to the left) menu */
        h3,
        .menuList {
            font-family: "JetBrains Mono", monospace;
            font-optical-sizing: auto;
            font-style: normal;
        }
        /* Sidebar (to the right) menu boxes */
        div.boxTop,
        div.box {
            font-size: 15px;
        }
        /* Sidebar menu (to the right) - titles */
        ul.menuList {
            font-size: 1.2rem;
        }
    }
}