css theme for js prettify