@NiLuJe On the contrary, CREngine used to have a bug where it didn't do negative margins, see
https://github.com/koreader/crengine/pull/299
(Probably not relevant to this particular margin here but either way I consider negative margins integral to getting the display you want.)