pre.prettyprint {
line-height: 16px;
}
pre.prettyprint {
border: 1px solid #d6d6d6;
background-color: #000000;
color : #FFFFFF;
border-radius: 0;
padding: 5px;
margin: 0;
margin-bottom: 10px;
margin-top: 15px;
font-size: 13px;
overflow: auto;
}
.class{
color : #9CF828;
}
.typ {
color: #7f0055;
}
.pun,...