google code prettify css modified