/* Pretty printing styles. Used with prettify.js. */

.str { color: #080; }
.kwd, .pun { color: #4444aa; }
.com { color: #999999; }
.typ { color: #000000; font-weight: bold; }
.lit { color: #066;  }
/*.pun { color: #660; font-weight: normal; }*/
.pln { color: #444444; font-weight: bold; }
.tag { color: #008;  }
.atn { color: #606;  }
.atv { color: #080; }
.dec { color: #606; }
/*pre.prettyprint { padding: 2px; border: 1px solid #888; overflow: scroll; }*/
pre.prettyprint {
    display: block;
    padding: 5px; 
    margin-left: 10px;
    background-color: #fff; 
    border: 1px solid #d3d3d6; 
    border-left: 5px solid #D6D6D6;
    overflow: scroll;
    width: 95%;
    font-family: ''lucida console'', ''Courier New'', monospace;
    font-size: 1em;
    margin-bottom: 1em; 
}

.console {
        border-left: 5px solid #D6D6D6;
    padding: 5px;
    margin-left: 10px; 
    display: block;
    margin-bottom:1em;
    color: #63FF00;
    background-color: #000;
    width: 95%;
    overflow: scroll;
    font: bold 12px "bitstream vera sans mono", monaco "lucida console", "courier new", courier, serif;
    margin-bottom: 1em;
}

@media print {
    .str { color: #060; }
    .kwd { color: #006; font-weight: bold; }
    .com { color: #600; font-style: italic; }
    .typ { color: #404; font-weight: bold; }
    .lit { color: #044; }
    .pun { color: #440; }
    .pln { color: #000; }
    .tag { color: #006; font-weight: bold; }
    .atn { color: #404; }
    .atv { color: #060; }
}