Take the default border width from `rio`