.highlight .k { color: #d850ab !important; }
.highlight .o { color: #888 !important; }
.highlight .m { color: #da9b3d !important; }
.highlight .na { color: #b6b6b6 !important; }