Spacegrey Theme (base on the base16 color palette) for google-code-prettify