Optima webfont

Until now, we were using Optima where available as a system font, and
other fonts as backups.  Now it's Optima everywhere.