MDN Editor (UI Tweaks)

tweaks for the UI of the MDN Editor (https://wiki.developer.mozilla.org/*$edit)
Per 01-06-2020. Zie de nieuwste versie.
Bezoek de website van de maker, stel een vraag, plaats een beoordeling of rapporteer dit script.
Regels afbreken
/* ==UserStyle==
@name           MDN Editor (UI Tweaks)
@namespace      almaceleste
@version        0.3.0
@description    tweaks for the UI of the MDN Editor (https://wiki.developer.mozilla.org/*$edit)
@author         almaceleste (https://almaceleste.github.io)
@license        AGPL-3.0-or-later; http://www.gnu.org/licenses/agpl.txt

@homepageURL    https://greatest.deepsurf.us/en/scripts/402637-mdn-editor-ui-tweaks
@homepageURL    https://openusercss.org/theme/5eb0aec07e7df90c001f8a9b
@homepageURL    https://userstyles.org/styles/181086
@homepageURL    https://github.com/almaceleste/userstyles
@supportURL     https://github.com/almaceleste/userstyles/issues

@preprocessor   uso
@var text       source-background-color 'source background color' '#222'
@var text       source-font-color 'source font color' '#ddd'
@var text       source-font-family 'source font family' "'Courier New', Monospace"
@var select     source-font-size 'source font size' [
    'smaller*',
    'xx-small',
    'x-small',
    'small',
    'medium',
    'large',
    'x-large',
    'xx-large',
    'xxx-large',
    'larger',
]
==/UserStyle== */

@-moz-document regexp('https://wiki\\.developer\\.mozilla\\.org/.*\\$edit') {
    #content-fields > .approved > header {
        padding: 10px;
        position: sticky;
        top: -55px;
        z-index: 999;
    }

    #content-fields > .approved > header > h3 {
        display: inline-block;
        font-size: 1rem;
        margin: 0;
        position: sticky;
        top: 10px;
    }

    #content-fields > .approved > header button {
        font-size: .77rem;
        margin-top: 15px;
    }

    #page-comment {
        bottom: 0px;
        padding: 10px;
        position: fixed;
        width: 98%;
        z-index: 999;
    }

    #page-comment > h3 {
        display: inline-block;
        font-size: medium;
        margin: 0;
    }

    #page-comment > h3 .icon-question-mark {
        height: 17px;
        width: 17px;
    }

    #page-comment > p {
        display: inline-block;
        font-size: small;
        margin: 0;
        width: 70%;
    }

    input#id_comment {
        padding: 3px;
    }

    .translate-source textarea,
    textarea.cke_source {
        background-color: /*[[source-background-color]]*/ !important;
        color: /*[[source-font-color]]*/ !important;
        font-family:  /*[[source-font-family]]*/ !important;
        font-size: /*[[source-font-size]]*/ !important;
    }
}