/* ******************************
    css style for code area.

 * ***************************** */
.code-block  {
    counter-reset : code_line_count ;
    font-family : monospace ;
}
.code-line:before {
    content:  counter(code_line_count , decimal-leading-zero) "."  ;
    counter-increment: code_line_count ;
    margin-left : -30px ;
    padding-right : 5px ;
    color : #808080 ;
}
.code-line {
    margin-left : 30px ;
}

/* IE7  */
*:first-child+html .code-block   {
    list-style-type : decimal ;
}
*:first-child+html .code-line  {
    display: list-item ; 
}

/* IE6 and below */
*html .code-block {
    list-style-type : decimal ;
}

*html .code-line {
    display : list-item ;
    margin-left : 40px ;  
}