navigation aid: show server name on page

diff --git a/include/nav.php b/include/nav.php
index e41c4bcb9e693eec41dd42784f614165e3c9ae25..af0c58710d0db981ca4fc2d870cfe3f0e681c189 100644 (file)
--- a/include/nav.php
+++ b/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";
        }

diff --git a/view/theme/default/style.css b/view/theme/default/style.css
index de49f14d4c48f82f368d5d80346382954149067e..f97b8f4c35d31505f0c7ac077477d760c7c1ef18 100644 (file)
--- a/view/theme/default/style.css
+++ b/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;
 }