Simplify and reuse page header code - #14

Simplify and reuse page header code#14

tatetian merged 2 commits into

asterinas:mainasterinas/asterinas.github.io:mainfrom

os-checker:simplify-page-headeros-checker/asterinas.github.io:simplify-page-headerCopy head branch name to clipboard