Polishing web-shared

Hi, I've been working on migrating news-web over to using the web-shared style, and along with using it more for web-doc, found a few things to polish. There's more that could be done to sync it back up with the layout for php.net, but here are a couple of basic PRs that could use a second pair of eyes on them and at least get things started down that path: https://github.com/php/web-shared/pull/10 https://github.com/php/web-shared/pull/12 Jim