diff options
| author | Richie Zhang <12566991+StaticallyTypedRice@users.noreply.github.com> | 2020-01-30 16:07:01 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-30 16:07:01 -0800 |
| commit | 26468ffce4dda4e006ee6fd27182048710a5129e (patch) | |
| tree | 07a2be0c5dce259cfd752e6c7e407b126f05d9ae /server | |
| parent | 43c55027f918b518382cf2ec63ff2ca99bb05ac9 (diff) | |
Remove empty div tag containing the navbar.
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.
Diffstat (limited to 'server')
0 files changed, 0 insertions, 0 deletions