Another solution, which will often be better if your images are vector and a little stretching is okay:

  border-image-repeat: round;

This also far more easily lets you have different butt images. See https://developer.mozilla.org/en-US/docs/Web/CSS/Reference/P... for info and examples.