Even better hostname display

9 years ago · d7f519fff0
parent 926409f676
commit d7f519fff0
1 changed files with 2 additions and 2 deletions
--- 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;