.highlight .kt, .highlight .nc { font-weight: bold; }
.highlight .na { color: #707050; }
.highlight .o { color: #555500; }
.highlight .nf { color: #ad7557; }