Fix weird font size on date by Software.

61915acb · Mac Newbold · e7321917 · 61915acb
Commit 61915acb authored Feb 07, 2004 by Mac Newbold
--- a/www/menu.php3
+++ b/www/menu.php3
@@ -292,8 +292,7 @@ function WRITESIDEBAR() {

    if ($rootEmulab) {
 	WRITESIDEBARBUTTON("Papers (Oct 28)", $TBDOCBASE, "pubs.php3");
-	WRITESIDEBARBUTTON("Software <font size=-1> ".
-			       "(Oct 21)</font>",
+	WRITESIDEBARBUTTON("Software (Oct 21)",
 			       $TBDOCBASE, "software.php3");
 	WRITESIDEBARBUTTON("Add Widearea Node (CD)",
 				$TBDOCBASE, "cdrom.php");