Modifications

-moz-border-image: url(/mediawiki/images/Page_border.png) 23 2 2 23 / 23px stretch stretchrepeat; -webkit-border-image: url(/mediawiki/images/Page_border.png) 23 2 2 23 / 23px stretch stretchrepeat; -o-border-image: url(/mediawiki/images/Page_border.png) 23 2 2 23 / 23px stretch stretchrepeat; border-image: url(/mediawiki/images/Page_border.png) 23 2 2 23 / 23px stretch stretchrepeat;