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.

diff --git a/ui/src/components/navbar.tsx b/ui/src/components/navbar.tsx
index 1828fce90b9df9b2d13b96e0fb51e081bf213dad..eccc81163a16bbc3d0bf007ca6fb9b66d1e58a4a 100644 (file)
--- a/ui/src/components/navbar.tsx
+++ b/ui/src/components/navbar.tsx
@@ -84,7 +84,7 @@ export class Navbar extends Component<any, NavbarState> {
   }
 
   render() {
-    return <div>{this.navbar()}</div>;
+    return this.navbar();
   }
 
   componentWillUnmount() {