/*override flat ui*/
pre.prettyprint {
  padding: 0;
  margin: 0;
  border: 0;
  border-radius: 0;
}

pre.prettyprint .str,
code.prettyprint .str {
    color: #dd1144;
}
pre.prettyprint .kwd,
code.prettyprint .kwd {
    color: #333333;
}
pre.prettyprint .com,
code.prettyprint .com {
    color: #999988;
    font-style: italic
}
pre.prettyprint .typ,
code.prettyprint .typ {
    color: #445588;
}
pre.prettyprint .lit,
code.prettyprint .lit {
    color: #445588;
}
pre.prettyprint .pun,
code.prettyprint .pun {
    color: #333333;
}
pre.prettyprint .pln,
code.prettyprint .pln {
    color: black; 
}
pre.prettyprint .tag,
code.prettyprint .tag {
    color: navy;
}
pre.prettyprint .atn,
code.prettyprint .atn {
    color: teal;
}
pre.prettyprint .atv,
code.prettyprint .atv {
    color: #dd1144;
}
pre.prettyprint .dec,
code.prettyprint .dec {
    color: #333333;
}
code.prettyprint {
    background-color: #fff;
}
pre.prettyprint {
    background-color: transparent;
}
pre.prettyprint {
    width: 100%;
    padding-top: 10px;
    padding-bottom: 10px;
    white-space: pre-wrap
}
ol.linenums {
    margin-top: 0;
    margin-bottom: 0;
    color: #808080;
}
li.L0,
li.L1,
li.L2,
li.L3,
li.L5,
li.L6,
li.L7,
li.L8 {
    /*list-style-type: decimal-leading-zero*/
}
@media print {
    pre .str,
    code .str {
        color: #060
    }
    pre .kwd,
    code .kwd {
        color: #006;
        font-weight: bold
    }
    pre .com,
    code .com {
        color: #600;
        font-style: italic
    }
    pre .typ,
    code .typ {
        color: #404;
        font-weight: bold
    }
    pre .lit,
    code .lit {
        color: #044
    }
    pre .pun,
    code .pun {
        color: #440
    }
    pre .pln,
    code .pln {
        color: #000
    }
    pre .tag,
    code .tag {
        color: #006;
        font-weight: bold
    }
    pre .atn,
    code .atn {
        color: #404
    }
    pre .atv,
    code .atv {
        color: #060
    }
}