| 7 | | On WebKit side, I merged a patch to improve the font system. However, it seems it's not possible to change fonts in the preferences dialog, I'm now looking into that. |
| | 7 | On WebKit side, I merged a patch to improve the font system. Selecting the font in the preferences dialog now works as expected (don't forget to click the Apply button!). It will work for most of your multipaste test, except the cases where the font is forced to "DejaVu Sans" or "DejaVu Serif". This means the user guide still fails rendering. |
| | 8 | |
| | 9 | I hope this makes things much better for you. I think the remaining issues should be fixed on app_server side, if we want so, and in the User Guide CSS. |
