per quanto riguardo l'inserimento dei font nella pagina html non c'è niente che tu possa fare poichè come hai ben capito anche tu se l'utente non ce li ha installati vede il font di default (infatti i font che vengono maggiormente usati sono di tre famiglie diverse: 1.Arial,Helvetica,Geneva - 2.Times,Georgia,Times New Roman - 3. Monaco,Courier,Courier New.

Per quanto rigurada Flash il problema della sfocatura-sgranamento dei font è lampante e purtroppo ancora irrisolto. Per questo sono stati "inventati2 i pixel font che a determinate e prestabilite misure a seconda del tipo mantengono intatta la loro forma (di solito 8-12 px e i loro multipli)

La soluzione per te può essere di creare il menu con uno o più file .gif in cui hai creato la scritta col carattere che desideri. Puoi anche creare dei rollover con del semplice javascript creando altri file magari con colore diverso del testo....

ciao