changing prettify theme