--- menu.php.original	2011-05-14 18:51:08.000000000 -0600
+++ menu.php	2011-05-14 18:51:19.000000000 -0600
@@ -75,5 +75,5 @@
 echo "</div>\n";
 
-print "<br clear='all' /><br>"; # TODO
+print "<br clear='all' /><br><br><br><br>"; # TODO
 
 if (authentication_has_role('global-admin')) {