Update the top page
vocabulary page: <dfn> -> <code>
update code: formatting and the code content