diff --git a/theme/oceanblue/footer.html b/theme/oceanblue/footer.html
index 73aa6e885e7..a401d705106 100644
--- a/theme/oceanblue/footer.html
+++ b/theme/oceanblue/footer.html
@@ -3,7 +3,7 @@
 <!-- START OF FOOTER -->
 <div id="footer">
 
-<?php if ($navigation) { ?>
+<?php if ($navigation and false) { ?>
     <div class="navbar">
         <div class="breadcrumb"><?php print_navigation($navigation); ?></div>
         <div class="menu"><?php echo $menu; ?></div>
@@ -13,6 +13,8 @@
 
 <?php echo $loggedinas ?>
 
+<?php echo $performanceinfo ?>
+
 <?php if (isadmin()) { ?>
 <br />
 <hr size="1" noshade="noshade" />
diff --git a/theme/oceanblue/styles_fonts.css b/theme/oceanblue/styles_fonts.css
index d39aac5619d..48334e2572c 100644
--- a/theme/oceanblue/styles_fonts.css
+++ b/theme/oceanblue/styles_fonts.css
@@ -161,6 +161,10 @@ h4 {
 }
 
 
+.performanceinfo {
+  font-size: 0.6em;
+}
+
 
 /***
  *** Admin
diff --git a/theme/oceanblue/styles_layout.css b/theme/oceanblue/styles_layout.css
index 999ac8eeba6..2e9e6667d03 100644
--- a/theme/oceanblue/styles_layout.css
+++ b/theme/oceanblue/styles_layout.css
@@ -253,6 +253,10 @@ table.formtable tbody th
   padding-right:1em;
 }
 
+.performanceinfo {
+  margin: 2em;
+}
+
 
 
 /***