vocareum by xm4ddy

/* ==UserStyle==
@name           vocareum.com - 8/31/2022, 1:38:23 PM
@namespace      github.com/openstyles/stylus
@version        1.0.0
@description    A new userstyle
@author         Me

==/UserStyle== */
@-moz-document domain("vocareum.com") {

    @import url(https://cdn.jsdelivr.net/npm/firacode@6.2.0/distr/fira_code.css);

    code {
        font-family: 'Fira Code', monospace;
    }

    @supports (font-variation-settings: normal) {
        code {
            font-family: 'Fira Code VF', monospace;
        }
    }

    body {
        background-color: rgba(30, 30, 46, 255) !important;
    }

    #terminal-container {
        background-color: rgba(30, 30, 46, 255) !important;
    }

    .xterm-viewport {
        background-color: rgba(30, 30, 46, 255) !important;
        border-style: solid;
        border-width: 2px;
        border-color: #888888;
        padding: 2px;
        border-radius: 5px;
        margin: 1px;
        margin-left: 1.5px;
        margin-right: 1.5px;
    }

    #vmp-framedivider3 {
        border: 0px;
    }

    .focus {
        background-color: rgba(30, 30, 46, 255) !important;
    }

    #vmp-idebox {
        background-color: rgba(30, 30, 46, 255) !important;
    }

    #vmp-ideheader {
        background-color: rgba(30, 30, 46, 255) !important;
        color: rgba(30, 30, 46, 255) !important;
        border-top: 0px;
    }

    #vmp-panels {
        border: 0px !important;
        margin: 2px;
    }

    #vmp-panel2-2 {
        overflow: hidden;
    }

    .vmp-idebutton {
        background-color: #393939 !important;
        color: #fff;
        margin-left: 2px;
        margin-right: 2px;
    }

    #vmp-showfullscreen {
        color: #fff;
        background-color: #393939;
        border: 0px;
        margin-left: 2px;
    }

    #editor_current_file_div {
        background-color: rgba(30, 30, 46, 255) !important;
    }

    #panel3-divhdr {
        background-color: rgba(30, 30, 46, 255) !important;
    }

    #vmp-pannels {
        background-color: rgba(30, 30, 46, 255) !important;
    }

    #vmp-panel3 {
        border: 0px;
    }

    #vmp-framedivider3 {
        border: none !important;
    }

    #vmp-header {
        background-color: rgba(30, 30, 46, 255) !important;
    }

    #terminal-container {
        background-color: rgba(30, 30, 46, 255) !important;
    }

    .xterm {
        padding: 15px !important;
        position: inherit;
    }
    
    #page-content.clearfix {
        background-color: rgba(30, 30, 46, 255) !important;
    }
    
    .clearfix {
        background-color: rgba(30, 30, 46, 255);
    }
    
    .document {
        background-color: white !important;
    }
}