* html.cc (handle_unknown_font_command): Removed dead code as