mirror of
https://github.com/koreader/koreader.git
synced 2025-08-10 00:52:38 +00:00
That's it: replace "static 10px" margins by a value that takes device DPI into account and works with rounded corner devices. Fixes #6157
That's it: replace "static 10px" margins by a value that takes device DPI into account and works with rounded corner devices. Fixes #6157