From 0d913dec652dbd030d2e90c9478226aead5f86d9 Mon Sep 17 00:00:00 2001 From: Max Brunsfeld Date: Wed, 11 Sep 2019 14:44:49 -0700 Subject: [PATCH] Fix layout issues in web-ui --- cli/src/web_ui.html | 9 +++++++-- script/serve-docs | 4 ++-- 2 files changed, 9 insertions(+), 4 deletions(-) diff --git a/cli/src/web_ui.html b/cli/src/web_ui.html index 62c23f3d..093b09ba 100644 --- a/cli/src/web_ui.html +++ b/cli/src/web_ui.html @@ -7,7 +7,7 @@ -
+