Lo de las fuentes con preguntar a google vale.
Lo de reiniciar, vas a tener q reiniciar, porque hasta q no lo hagas no se van a aplicar los cambios.
Es como con el gravity box, hasta q no reinicias el terminal no se aplican los cambios.
Yo tambien uso el Rom toolbox, la verdad q me parece supersencillo cambiar la fuente:
Guardas la fuente en una carpeta del movil
Con el Rom Toolbox la buscas
La ejecutas
Reinicias
Y listo