modernise website, keep terminal theme#5

debo wants to merge 2 commits into

masterphp-build/php-build.github.io:masterfrom

modernise-website-1785104510php-build/php-build.github.io:modernise-website-1785104510Copy head branch name to clipboard