/********************************************************************************
 *  * CoolCode Style
 ********************************************************************************/
.hl-title {
    background-color: #111153;
    border: 1px solid #C3CED9;
    border-bottom: 0;
    padding: 6px 24px;
    margin: 0;
    width: auto;
    line-height: 180%;
    overflow : auto;
    text-align: left;
    font-size: small;
    font-weight: bold;
}

.hl-surround {
    background-color: #000000;
    border: 1px solid #C3CED9;
    margin: 0;
    margin-bottom: 5px;
    width: auto;
    height: auto;
    overflow : auto;
    text-align: left;
    font-family: "Courier New";
}

ol.hl-main {
    padding: 0 12px 0 56px;
    margin: 0;
    background-color: transparent;
    background-repeat: no-repeat;
    background-position : 5px 5px;
}

div.hl-main {
    padding: 6px 24px;
    margin: 0;
    line-height: 180%;
    background-color: transparent;
}

.ln-show 
{
    padding-left: 36px !important;
    list-style: decimal outside !important;
}

.ln-show li {
    list-style: decimal outside !important;
}

.ln-hide {
    padding-left: 24px !important;
    background-image: url(wp-images/show.gif) !important;
    list-style-type: none !important;
}

.ln-hide li {
    list-style-type: none !important;
}

ol.hl-main li {
    display: list-item !important;
    font-size: 8pt !important;
    margin: 0 !important;
    line-height: 15px !important;
    border-left: 1px solid #C3CED9;
    border-top: 1px solid #E3EEF9;
    border-top-color: #131313 !important;
    padding: 0 0 0 3px !important;
    background-color: #000000 !important;
}

li.hl-firstline {
    border-top: 0 !important;
}

.identifier0  { color: #999; }
.identifier1  { color: #999; }
.identifier2  { color: #999; }
.identifier3  { color: #999; }
.identifier4  { color: #999; }
.identifier5  { color: #999; }
.identifier6  { color: #999; }
.identifier7  { color: #999; }
.identifier8  { color: #999; }
.identifier9  { color: #999; }
.identifier10 { color: #999; }
.identifier11 { color: #999; }
.identifier12 { color: #999; }
.identifier13 { color: #999; }
.identifier14 { color: #999; }
.identifier15 { color: #999; }
.identifier16 { color: #999; }
.identifier17 { color: #999; }
.identifier18 { color: #999; }
.identifier19 { color: #999; }
span { font-size: 11px; }

div.coolcode_container div.hl-surround 
{
	text-transform: none;
}
