Fix web Home header (#7086)
* Fix header disappearing on web* Make border nicer
authored by danabra.mov and committed by GitHub 1 year ago add7a91d 8a790cdd