Guangyu's second commit

Now all of the html pages are virtually there.