The source project of this merge request has been removed.
style.css: Make rubberband to have rounded corners™
This change makes the rubberband to have rounded corners, making it consistent with other elements such as buttons and text entries, which also have rounded corners.
Edited by Ghost User