Yeah but you're basically already doing it with `border: border.value ? '1px solid #000' : 'none'`. You could just change it to `border: border.value + 'px solid #000'` and make it a NumberProperty and you're basically done.