Respect baseurl for fork repos; Simplify page header

[zjp-CN]

Contributors usually fork asterinas.github.io repo to their own as contributor/asterinas.github.io.

When they deploy a branch of fork to Github Pages, all local paths start from https://contributor.github.io rather than https://contributor.github.io/asterinas.github.io.

If a PR reviewer needs to check the website interactively, the contributor has to handle the link problem, as the deployed webpage is fully broken like this.

With this PR, a contributor only needs to set baseurl: "/asterinas.github.io" in _config.yml to make these project links and assets valid.

This PR also simplifies header for different pages by

• making each tab item be a plain link to remove click event listener
• sharing the html/css/js header template to reuse in different webpages

[zjp-CN]

With the idea of #10 , you can preview the latest development link¹ by clicking the "View deployment" button in os-checker#1

F12 on tab item: this PR deployment

F12 on tab item: current asterinas

Footnotes

1. the link changes as new commit is pushed, so I won't leave the unique link here ↩

[zjp-CN]

Asterinas homepage doesn't have a contributors tab, but the url path https://asterinas.github.io/contributors.html is accessible with Blog tag highlighted.

So active="blog" just follows the behavior.

[zjp-CN]

https://asterinas.github.io/post.html is 404. Maybe we should just remove this page?

[tatetian]

Thanks for pointing this out. But this is a separate problem. Could you fix it in another PR?

[tatetian]

With this PR, a contributor only needs to set baseurl: "/asterinas.github.io" in _config.yml to make these project links and assets valid.

This looks a fragile solution to me. When one forks a project, she can choose to name the forked repo differently than the parent repo. Could you think of a more robust solution?

# For forks (e.g., `username/asterinas.github.io` hosted on GitHub Pages),
# set `baseurl` to `/asterinas.github.io` to ensure all local links and assets resolve correctly.
baseurl: "" # "/asterinas.github.io"

And the developer of a forked website still needs to change the URL manually. This is another problem.

So overall, the solution is not ideal. Think harder?

[zjp-CN]

An ideal sulution is #10 , contributors just submit a PR, vercel bot builds and notifies a unique preview link when a commit is pushed.

You have to login vercel and set up this repo in vercel. The vercel service is free. Just some clicks.