Use a different font for <code> ... </code> text?

108 views
Skip to first unread message

JDelage

unread,
Sep 6, 2020, 6:21:02 PM9/6/20
to mnemosyne-proj-users
All - what is an easy way to set up Mnemosyne so that the flashcard text be in a given serif font whereas the text between tags such as <code> or <pre> would be in a different font (sans serif in my case)? Currently running Mnemosyne on a MacBook.

Thanks!

Peter Bienstman

unread,
Sep 7, 2020, 12:07:37 AM9/7/20
to mnemosyne-...@googlegroups.com
You're best off using standard html font tags for this.

Cheers, 

Peter 

On Mon, 7 Sep 2020, 00:21 JDelage, <j.de...@gmail.com> wrote:
All - what is an easy way to set up Mnemosyne so that the flashcard text be in a given serif font whereas the text between tags such as <code> or <pre> would be in a different font (sans serif in my case)? Currently running Mnemosyne on a MacBook.

Thanks!

--
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-u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/mnemosyne-proj-users/7b06cdc9-1de6-4824-86b9-960ff987b2b2n%40googlegroups.com.

JDelage

unread,
Sep 7, 2020, 1:18:39 PM9/7/20
to mnemosyne-proj-users
Can do, but I'm curious because it used to be the default behavior of Mnemosyne (several years ago, on a Windows machine at the time)...

Peter Bienstman

unread,
Sep 7, 2020, 1:52:50 PM9/7/20
to mnemosyne-...@googlegroups.com
If it has ever been the default behaviour in the past, it was not
something I programmed, but rather the default behaviour of the
browser widget we use...

Peter
> To view this discussion on the web visit https://groups.google.com/d/msgid/mnemosyne-proj-users/2f84b680-5588-45a8-b2a2-d42360baa6a4n%40googlegroups.com.

JDelage

unread,
Sep 11, 2020, 11:51:13 AM9/11/20
to mnemosyne-proj-users
Peter - thank you. I'm going to try to look into this; it might be a setting I can change somewhere. If I may, can you give me more info on "the browser widget we use"? Does it have a name I can do a search on?

Thanks,

Joss

Peter Bienstman

unread,
Sep 11, 2020, 12:42:12 PM9/11/20
to mnemosyne-...@googlegroups.com
I think the biggest change occurred with the switch from Pyqt4 to Pyqt5.

Peter 

Reply all
Reply to author
Forward
0 new messages