URL encode the pipe character in the Google web font URL (see #7120)