Well, I solved the minor problem of the class style not working in Anki
itself, by checking the font-family name in FontForge. I hadn't got it
right!
I have now tried the Google Noto font (and 2 other Hebrew fonts), and
all of them work in Anki but not in Ankidroid. I can confirm that the
fonts are correctly named in collection.media, and are being copied to
the tablet when I sync with the desktop computer.
Although I have had these fonts working in Ankidroid previously, I
suppose it is possible that this was before the newer version of
Ankidroid appeared. I remember that there used to be a different method
of using fonts: I still have some fonts installed
in /sdcard/Ankidroid/Fonts dating from that time.
Can anyone tell me what the earliest version of Android is that will
support Anki's current method of using additional fonts? At present I
am using Android 4.3.1 which is, after all, only 2 years old. I believe
this was the last version of Jellybean. I am a bit reluctant to move
again to KitKat, because my experience is that every OS upgrade slows
the machine down. But perhaps I'll have to compromise and use the
earliest version of Android that Ankidroid will actually work with.
David