Enlarge JavaScript highlighting