26468ffce4
In preliminary, the appearance and behavior of the navbar was not affected when the `<nav>` element was not wrapped, and an empty `<div>` element doesn't do anything anyway. I'm also pretty sure that the `<nav>` tag in HTML5 is basically a div with a fancy name, so it can do everything a div can. |
||
---|---|---|
.. | ||
assets | ||
src | ||
.eslintignore | ||
.eslintrc.json | ||
.gitignore | ||
.prettierrc.js | ||
fuse.js | ||
package.json | ||
translation_report.ts | ||
tsconfig.json | ||
yarn.lock |