Add pygments style sheet and dark theme