41ac10f75e
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. |
||
---|---|---|
.. | ||
components | ||
services | ||
translations | ||
env.ts | ||
i18next.ts | ||
index.html | ||
index.tsx | ||
interfaces.ts | ||
utils.ts | ||
version.ts |