Styles for $performanceinfo in footer

theme/standard/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" />

theme/standard/styles_fonts.css

@@ -161,6 +161,10 @@ h4 {
 }
 
 
+.performanceinfo {
+  font-size: 0.6em;
+}
+
 
 /***
  *** Admin

theme/standard/styles_layout.css

@@ -252,6 +252,10 @@ table.formtable tbody th
   padding-right:1em;
 }
 
+.performanceinfo {
+  margin: 2em;
+}
+
 
 
 /***