.highlight {
	background:#FFFFFF;
	color:#929292
}
.highlight .hll {
	background-color:#EFEFEF
}
.highlight .c {
	color:#929292
}
.highlight .err {
	background:#C82829;
	color:#FFFFFF
}
.highlight .k {
	color:#8959A8
}
.highlight .l {
	color:#F5871F
}
.highlight .n {
	color:#929292
}
.highlight .o {
	color:#545454
}
.highlight .p {
	color:#929292
}
.highlight .cm {
	color:#929292
}
.highlight .cp {
	color:#929292
}
.highlight .c1 {
	color:#929292
}
.highlight .cs {
	color:#929292
}
.highlight .gd {
	color:#C82829
}
.highlight .ge {
	font-style:italic
}
.highlight .gh {
	color:#545454;
	font-weight:bold
}
.highlight .gi {
	color:#718C00
}
.highlight .gp {
	color:#718C00;
	font-weight:bold
}
.highlight .gs {
	font-weight:bold
}
.highlight .gu {
	color:#3E999F;
	font-weight:bold
}
.highlight .kc {
	color:#8959A8
}
.highlight .kd {
	color:#8959A8
}
.highlight .kn {
	color:#3E999F
}
.highlight .kp {
	color:#4271AE
}
.highlight .kr {
	color:#8959A8
}
.highlight .kt {
	color:#EAB700
}
.highlight .ld {
	color:#718C00
}
.highlight .m {
	color:#F5871F
}
.highlight .s {
	color:#718C00
}
.highlight .na {
	color:#4271AE
}
.highlight .nb {
	color:#4271AE
}
.highlight .nc {
	color:#EAB700
}
.highlight .no {
	color:#EAB700
}
.highlight .nd {
	color:#3E999F
}
.highlight .ni {
	color:#545454
}
.highlight .ne {
	color:#C82829
}
.highlight .nf {
	color:#4271AE
}
.highlight .nl {
	color:#545454
}
.highlight .nn {
	color:#EAB700
}
.highlight .nx {
	color:#4271AE
}
.highlight .py {
	color:#545454
}
.highlight .nt {
	color:#3E999F
}
.highlight .nv {
	color:#C82829
}
.highlight .ow {
	color:#3E999F
}
.highlight .w {
	color:#545454
}
.highlight .mf {
	color:#F5871F
}
.highlight .mh {
	color:#F5871F
}
.highlight .mi {
	color:#F5871F
}
.highlight .mo {
	color:#F5871F
}
.highlight .sb {
	color:#718C00
}
.highlight .sc {
	color:#545454
}
.highlight .sd {
	color:#929292
}
.highlight .s2 {
	color:#718C00
}
.highlight .se {
	color:#F5871F
}
.highlight .sh {
	color:#718C00
}
.highlight .si {
	color:#F5871F
}
.highlight .sx {
	color:#718C00
}
.highlight .sr {
	color:#718C00
}
.highlight .s1 {
	color:#718C00
}
.highlight .ss {
	color:#718C00
}
.highlight .bp {
	color:#545454
}
.highlight .vc {
	color:#C82829
}
.highlight .vg {
	color:#C82829
}
.highlight .vi {
	color:#C82829
}
.highlight .il {
	color:#F5871F
}