From 26468ffce4dda4e006ee6fd27182048710a5129e Mon Sep 17 00:00:00 2001
From: Richie Zhang <12566991+StaticallyTypedRice@users.noreply.github.com>
Date: Thu, 30 Jan 2020 16:07:01 -0800
Subject: [PATCH] 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.
---
 ui/src/components/navbar.tsx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ui/src/components/navbar.tsx b/ui/src/components/navbar.tsx
index 1828fce9..eccc8116 100644
--- 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() {
-- 
2.44.1