Trying a different syntax hilighting theme