[jberd]

What controls the dictionary font?
I played around with frontend/ui/font.lua to use more serif fonts,
and the dictionary popup was using serif fonts. Then I downloaded
the gcide dictionary, and that pops up with a sans-serif font (while
the other dictionary still uses serif). I poked around looking for
something to control the font, with no luck. (The gcide dictionary
uses some html-style markup while my older dictionary doesn't, but
I didn't find any font directives in gcide.)
Is there a way to have the dictionaries all use a serif font?

Thanks, Jay