Sorry for the unrelated question. What theme is used for the syntax highlighted on that snippet?