Neither do I (concerning the special fontification). Nevertheless, if you look at the profiler report (1st mail), the fontification process differ from the usual one (see attached screenshot) *because* the proof is considered as a block by org-mode.
[image: image.png] Best, Le mar. 22 juin 2021 à 15:03, Eric S Fraga <e.fr...@ucl.ac.uk> a écrit : > On Tuesday, 22 Jun 2021 at 14:32, Léo Ackermann wrote: > > Do you see what I mean ? > > I do but I guess I must have a differently configured system as I do not > see any special fortification due to being in a special block. > > However, I see nothing in my configuration that affects special blocks. > > -- > : Eric S Fraga via Emacs 28.0.50, Org release_9.4.6-567-g22bf80 > : Latest paper written in org: https://arxiv.org/abs/2106.05096 >
