I can find no such extension. If anybody knows pgf one that works with Opera please note it here.

How do I change the font in which websites are displayed by the Opera browser? The font Settings under
Website do no affect this change.