Modifying default theme / syntax highlighting