Better Javascript highlighting