Here, the middle sections of the image are stretched to create the border:
border-image: url(border.png) 30 stretch;
Here is the original image: