Toby
2018-08-10 00:51:54 UTC
Hello
I'm using Mnemosyne as part of my Japanese studies and I'm finding the
standard Android font insufficient, but I don't want to root the phone.
Is there a way to add my own CSS to the cards, in order to load a custom
font from the phone's internal memory?
I've found several posts about an older Android client, which mention an
export directory, but I'm using the official client with the sync function
and I don't think I have an export directory. Can I place a style.css file
and a font file by hand somewhere in the phone?
-Toby
I'm using Mnemosyne as part of my Japanese studies and I'm finding the
standard Android font insufficient, but I don't want to root the phone.
Is there a way to add my own CSS to the cards, in order to load a custom
font from the phone's internal memory?
I've found several posts about an older Android client, which mention an
export directory, but I'm using the official client with the sync function
and I don't think I have an export directory. Can I place a style.css file
and a font file by hand somewhere in the phone?
-Toby
--
You received this message because you are subscribed to the Google Groups "mnemosyne-proj-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to mnemosyne-proj-users+***@googlegroups.com.
To post to this group, send email to mnemosyne-proj-***@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/mnemosyne-proj-users/3e197bc7-296c-4e67-8c20-838f2b7e72e5%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
You received this message because you are subscribed to the Google Groups "mnemosyne-proj-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to mnemosyne-proj-users+***@googlegroups.com.
To post to this group, send email to mnemosyne-proj-***@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/mnemosyne-proj-users/3e197bc7-296c-4e67-8c20-838f2b7e72e5%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.