modified stylesheet: enlarge code font-size