Abbreviations

We would like the option to remove the highlighting of abbreviations in documents. Instead, they could be underlined or marked in a less attention-demanding way.

It would also be useful if readers and/or administrators could choose to hide the visual marking of abbreviations while keeping the current hover function, so the full meaning still appears when the cursor is placed over the abbreviation.