Juergen Spitzmueller a46fb46633 Improve output pane, as discussed in #12372
* The image scale param is shared by XHTML and DocBook
* It does not only apply to math
* Get rid of redundant group headers (#12902)

(cherry picked from commit 1429552063dfe9909dd5789b9fb1715ddee7d77d)
2024-08-18 18:32:03 +02:00
..
2024-01-11 11:06:40 -05:00
2024-01-11 11:06:40 -05:00
2024-01-11 11:06:40 -05:00
2024-01-11 11:06:40 -05:00
2024-02-27 07:17:47 +01:00
2024-01-11 11:06:40 -05:00
2024-01-11 11:06:40 -05:00