From d7f519fff027b78200314b830f1361ede2b615ae Mon Sep 17 00:00:00 2001
From: Ivan Susanin <susanin@gmail.com>
Date: Mon, 28 Sep 2015 11:06:38 +0300
Subject: [PATCH] Even better hostname display

---
 html/style.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/html/style.css b/html/style.css
index 9d27ee3..2e111a1 100644
--- a/html/style.css
+++ b/html/style.css
@@ -207,8 +207,8 @@ pre.console a {
 }
 
 #menu .hostname {
-	width: 100%;
-	font-size: 12px;
+	width: 140px;
+	border-top: 1px solid #333;
 	height: 20px;
 	padding-left: 10px;
 	text-align: left;