Manually updated layout.html

git push on local machine works, but doesn't show up on github... I don't know what's wrong..