navigation aid: show server name on page

include/nav.php

@@ -5,6 +5,7 @@
 
 	$a->page['nav'] .= '<div id="panel" style="display: none;"></div>' ;
 
+	$a->page['nav'] .= '<div id="site-location">' . substr($a->get_baseurl(),strpos($a->get_baseurl(),'//') + 2 ) . '</div>';
 	if(local_user()) {
 		$a->page['nav'] .= '<a id="nav-logout-link" class="nav-link" href="logout">' . t('Logout') . "</a>\r\n";
 	}

view/theme/default/style.css

@@ -72,6 +72,14 @@ blockquote:before {
 	content: '>> ';
 }
 
+#site-location {
+	position: absolute;
+	right: 5px;
+	top: 3px;
+	color: white;
+	font-size: 60%;
+}
+
 .shiny {
 	border-color: orange !important;
 }