Created by: andresgalante
This PR fixes #24517 (closed) and adds $hr-margin-top
and $hr-margin-bottom
for the hr element.
Created by: andresgalante
This PR fixes #24517 (closed) and adds $hr-margin-top
and $hr-margin-bottom
for the hr element.