.inlineCodeBx {
    font-family: Consolas;
    background-color: #fafafa;
    border: 1px solid lightgrey;
    border-radius: 2px;
    padding: 2px;
    margin: 0px;
}

pre {
    font-family: Consolas;
    background-color: #fafafa;
    border: 1px solid lightgrey;
    border-radius: 2px;
    padding: 2px;
    margin: 0px;
    /*min-width: 75% !important; */
}

pre.console {
    color:         #ffffff;
    background:    #000000;
    font-weight:   bold;
    border-radius: 10px;
    max-width:     700px;
}

.inlineCode {
    font-family: Consolas;
}

.highl_green {
	  background: #c3f4b2;
	  margin-bottom:-1.5em;
	  padding-bottom:0px;
}

.highl_green {
	  background: #c3f4b2;
	  margin-bottom:-1.5em;
	  padding-bottom:0px;
}

.def {
    background-color: #fff8cc;
    padding-left:1em;
    padding-right:1em;
    padding-top:0.5em;
    padding-bottom:0.5em;
    margin: 0px 0px 0px 0px;
    border: 1px solid black;
    border-radius: 0.5em;
    max-width:500px;
    text-align:left;
}

pre{
    counter-reset: line;
}
code{
    counter-increment: line;
}
code:before{
    content: counter(line);
    display: inline-block;
    width: 2em; /* Fixed width */
    border-right: 1px solid #ddd;
    padding: 0 .5em;
    margin-right: .5em;
    color: #888;
    -webkit-user-select: none;
    -moz-user-select: none;
    -ms-user-select: none;
    user-select: none;
}


/* YELLOW */
.lightyellow {
    color:#fce94f;
}
.yellow {
    color:#edd400;
}
.darkyellow {
	  color:#c4a000;
}

/* ORANGE */
.lightorange {
    color:#fcaf3e;
}
.orange {
	  color:#f57900;
}
.darkorange {
    color:#ce5c00;
}

/* BROWN */
.lightbrown {
    color:#e9b96e;
}
.brown {
    color:#c17d11;
}
.darkbrown {
    color:#8f5902;
}

/* GREEN */
.lightgreen {
    color:#8ae234;
}
.green {
    color:#73d216;
}
.darkgreen {
    color:#4e9a06;
}

/* BLUE */
.lightblue {
    color:#729fcf;
}
.blue {
    color:#3465a4;
}
.darkblue {
    color:#204a87;
}

/* PURPLE */
.lightpurple {
    color:#ad7fa8;
}
.purple {
    color:#75507b;
}
.darkpurple {
    color:#5c3566;
}

/* RED */
.lightred {
    color:#ef2929;
}
.red {
    color:#cc0000;
}
.darkred {
    color:#a40000;
}

/* ALUMINUM */
.lightalu {
    color:#eeeeec;
}
.alu {
    color:#d3d7cf;
}
.darkalu {
    color:#babdb6;
}

/* GREY */
.lightgrey {
    color:#888a85;
}
.grey {
    color:#555753;
}
.darkgrey {
    color:#2e3436;
}