Fixes for choice of CSS fonts