Some homemade Pygments color scheme