diff --git a/www/menu.php3 b/www/menu.php3 index 1dd1427d9c355c051e3cabd7809c414640c51115..06ff138bb356256e083359d55c0c05758ede7422 100644 --- a/www/menu.php3 +++ b/www/menu.php3 @@ -566,7 +566,7 @@ function WRITESIDEBAR() { # spits out beginning part of page # function PAGEBEGINNING( $title, $nobanner = 0 ) { - global $BASEPATH, $TBMAINSITE, $THISHOMEBASE; + global $BASEPATH, $TBMAINSITE, $THISHOMEBASE, $ELABINELAB; global $TBDIR, $WWW; global $MAINPAGE; global $TBDOCBASE; @@ -621,9 +621,15 @@ function PAGEBEGINNING( $title, $nobanner = 0 ) { <td valign='top' class='bannercell' background='$BASEPATH/headerbgbb.jpg' bgcolor=#3D627F> - <img width=369 height=100 border=0 usemap=\"#overlaymap\" - src='$BASEPATH/overlay.".strtolower($THISHOMEBASE).".gif' - alt='$THISHOMEBASE - the network testbed'>\n"; + <img width=369 height=100 border=0 usemap=\"#overlaymap\" "; + + if ($ELABINELAB) { + echo "src='$BASEPATH/overlay.elabinelab.gif' "; + } + else { + echo "src='$BASEPATH/overlay.".strtolower($THISHOMEBASE).".gif' "; + } + echo "alt='$THISHOMEBASE - the network testbed'>\n"; if (!$MAINPAGE) { echo "<font size='+1' color='#CCFFCC'> <b>$WWW</b></font>"; } diff --git a/www/overlay.elabinelab.gif b/www/overlay.elabinelab.gif new file mode 100755 index 0000000000000000000000000000000000000000..7fe9473bede9c4c2a9d1ec70b43887090f836b5e Binary files /dev/null and b/www/overlay.elabinelab.gif differ