Brieuc-brd
59373295c0
Before this commit, the gap between `$border-radius` and `$border-radius-lg` was too small and couldn't be differentiated easily. After this commit, the value of `$border-radius-lg` is higher and can be used for elements that need larger rounded corners (e.g. Discuss components). enterprise: https://github.com/odoo/enterprise/pull/25737 task-2810274 closes odoo/odoo#87521 Related: odoo/enterprise#25737 Signed-off-by: Pierre Paridans (app) <app@odoo.com>