mirror of
https://github.com/moparisthebest/k-9
synced 2025-02-19 20:21:45 -05:00
c790fa73c1
Dynamically generate the CSS style for <pre> elements for inclusion in the HTML <head> element when messages are displayed. This permits a user to change their font-family preference for plain text messages and see the results immediately. Obviously any old locally-stored messages that had their font-family stored with them will continue to display using that font-family, irrespective of the user's current preference setting.