/* Placeholder. Run server/scripts/fetch-vendor.sh on the server to replace this with the four
   web fonts served locally; until then the page uses the Google Fonts copy loaded before it. */