Modifications

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