change fontname; remove apparent duplication in csss