diff script/about @ 503:5d608412b003 feature_212

Pull out font name specifications from stylesheets and serve differently to different platforms (falling back to our usual web fonts). Fixes #212
author Chris Cannam <chris.cannam@soundsoftware.ac.uk>
date Thu, 14 Jul 2011 10:14:03 +0100
parents 94944d00e43c
children 433d4f72a19b
line wrap: on
line diff