mirror of
https://git.mirrors.martin98.com/https://github.com/Ultimaker/Cura
synced 2025-05-29 01:28:55 +08:00

Instead of using the default of 5 pixels, we should use this element from the theme to match the margin around the page. Contributes to issue CURA-8009.