change font size.
add gjslint option.