По существу вопроса. Все теги, классы и т.д. в редакторе выполняются жавой, беглый просмотр толком ничего не дал, какая-то своя система кэширования и не понятно что и где. Ищите в js файлах Font Name, или в русском языке Шрифты. Вообще, геморрная задача, и если это не принципиально, оставьте в покое ее.