/* Fonts load only if the files exist. Run tools/下载字体.py to fetch them. */