The fonts are fairly simply compiled, next week I'll see how everyone else feels about releasing the font compiler & current font sources.

Changing the size of the fonts may cause problems (though most stuff sizes bounding boxes, etc to the actual font size & doesn't assume anything), but pixel twiddling should be fine.

Hugo