Correct broken Google webfont in editor

Fixes #4162