Also apply the font settings to the ACE element (see #7103)

This is just the fix for the unsynchronized cursor problem. There is an ongoing discussion on changing the font-family, which might be changed in the future.
Replace insert tags in external redirect targets (see #6765)