style.css lists four different font files in two different families. it looks like "Vera" is there, but the "courier_prime_code-webfont" files aren't in this repository? dave mentioned that these files aren't missing for him when he runs the server from the commandline, so hopefully this is a simple manner of copying the fonts to the repos and ensuring that they eventually get added to 'dist'.
style.css lists four different font files in two different families. it looks like "Vera" is there, but the "courier_prime_code-webfont" files aren't in this repository? dave mentioned that these files aren't missing for him when he runs the server from the commandline, so hopefully this is a simple manner of copying the fonts to the repos and ensuring that they eventually get added to 'dist'.