From e287014b98a4688fa2051fb03e8e9032b380dcb8 Mon Sep 17 00:00:00 2001 From: Friendika Date: Wed, 22 Dec 2010 20:04:20 -0800 Subject: [PATCH] navigation aid: show server name on page --- include/nav.php | 1 + view/theme/default/style.css | 8 ++++++++ 2 files changed, 9 insertions(+) diff --git a/include/nav.php b/include/nav.php index e41c4bcb9e..af0c58710d 100644 --- a/include/nav.php +++ b/include/nav.php @@ -5,6 +5,7 @@ $a->page['nav'] .= '' ; + $a->page['nav'] .= '
' . substr($a->get_baseurl(),strpos($a->get_baseurl(),'//') + 2 ) . '
'; if(local_user()) { $a->page['nav'] .= '' . t('Logout') . "\r\n"; } diff --git a/view/theme/default/style.css b/view/theme/default/style.css index de49f14d4c..f97b8f4c35 100644 --- 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; }