Remove more dead code
Simplify & add a link to the google search
Remove -moz-box-sizing and define .brand (logo) height
Merge branch 'master' of https://git.php.net/push/web/php
Revert "Remove -moz-box-sizing and define .brand (logo) height"

This reverts commit 2555202f1b9314462484e2ba790e34bb915dd8a7.
Remove -moz-box-sizing and define .brand (logo) height