I added a paulgraham.com-like navbar to my plain HTML personal website