/* Pretty printing styles. Used with prettify.js. */
.shl_str { color: #080; }
.shl_kwd { color: #008; }
.shl_com { color: #800; }
.shl_typ { color: #606; }
.shl_lit { color: #066; }
.shl_pun { color: #660; }
.shl_pln { color: #000; }
.shl_tag { color: #008; }
.shl_atn { color: #606; }
.shl_atv { color: #080; }
.shl_dec { color: #606; }

.shl_container pre {margin:0;background:#fff;font-size:12px}
.shl_tab,.shl_tab_h{
    padding-top: 2px;
    margin-right: 5px;
    width: 90px;
    height: 18px;
    cursor:pointer;
    float:left;
    font-size:12px;
    font-weight:normal;
    text-align:center;
    border: 1px solid #aaa;
    border-width: 1px 1px 0px;
}
.shl_tab_h{
    border: 1px solid #333;
    border-width: 1px 1px 0px;
    background:#fcfcfc;
    font-weight:bold;
}
.shl_content, .PostContent .shl_content  {
    font-family: 'Lucida Console', Verdana, Arial, sans-serif;
    white-space:nowrap;
    font-size:12px;
    background:#fff;
}
.prettyprint, .shl_content, .PostContent .shl_content, .PostContent .prettyprint {
    padding: 10px 0px;
    border: 1px solid #333;
    background: #fff;
    overflow: auto;
}

.prettyprint, .PostContent .prettyprint { 
    padding-left: 10px;
}

.shl_content ol, .PostContent .shl_content ol {
    background:#efe;
    font-weight:bold;
    margin: 0px;
    padding:0px 0px 0px 45px;
}
.shl_content li, .PostContent .shl_content li {
    padding-left: 10px;
    background:#fff;
    font-weight:normal;
    list-style-type: decimal;
}