ANTLR Lab by jaobabus

/* ==UserStyle==
@name           antlr.org
@namespace      github.com/openstyles/stylus
@version        1.0.0
@description    A new userstyle
@author         Me
==/UserStyle== */

@-moz-document domain("antlr.org") {
    body {
        background-color: #16161d;
        color: #EEE;
    }
    
    .intro {
        color: #EEE;
    }
    
    .ace_text-input {
        background-color: #1f1f2a;
        color: #EEE;
    }
    
    .ace-chrome {
        background-color: #1f1f2a;
        color: #EEE;
    }
    
    .ace-chrome .ace_constant.ace_numeric {
      color: #1E90FF;
    }

    .ace-chrome .ace_variable {
      color: #66CDAA;
    }

    .ace-chrome .ace_xml-pe {
      color: rgb(104, 104, 91);
    }

    .ace-chrome .ace_entity.ace_name.ace_function {
      color: #1E90FF;
    }


    .ace-chrome .ace_heading {
      color: rgb(12, 7, 255);
    }

    .ace-chrome .ace_list {
      color:rgb(185, 6, 144);
    }

    .ace-chrome .ace_marker-layer .ace_selection {
      background: rgb(181, 213, 255);
    }

    .ace-chrome .ace_marker-layer .ace_step {
      background: rgb(252, 255, 0);
    }

    .ace-chrome .ace_marker-layer .ace_stack {
      background: rgb(164, 229, 101);
    }

    .ace-chrome .ace_marker-layer .ace_bracket {
      margin: -1px 0 0 -1px;
      border: 1px solid rgb(192, 192, 192);
    }

    .ace-chrome .ace_marker-layer .ace_active-line {
      background: rgba(0, 0, 0, 0.07);
    }

    .ace-chrome .ace_gutter-active-line {
        background-color : #dcdcdc;
    }

    .ace-chrome .ace_marker-layer .ace_selected-word {
      background: rgb(250, 250, 255);
      border: 1px solid rgb(200, 200, 250);
    }

    .ace-chrome .ace_storage,
    .ace-chrome .ace_keyword,
    .ace-chrome .ace_meta.ace_tag {
      color: #BA55D3;
    }

    .ace-chrome .ace_string.ace_regex {
      color: rgb(255, 0, 0)
    }

    .ace-chrome .ace_string {
      color: #00BFFF;
    }

    .ace-chrome .ace_entity.ace_other.ace_attribute-name {
      color: #994409;
    }
    
    .ace_gutter-cell, .ace_gutter-layer {
        background-color: #25282a;
    }
    
    .ace-chrome .ace_gutter-active-line  {
        background-color: #414649;
    }
    
}