The Wayback Machine - https://web.archive.org/web/20111204163004/http://glassfish.java.net:80/public/TipsandBlogs.html

"); } // added in the reverse order //addIcon("/public/devindex.html","srcbrowse.gif","Get Involved"); //addIcon("/public/users.html","communities.gif","Get Started"); //addIcon("/public/downloadsindex.html","download.gif","Download"); var div = document.createElement("div"); div.innerHTML = html.join(''); div.style.float = "right"; div.style.marginTop = "1em"; var logobox = document.getElementById("logo-box"); logobox.parentNode.insertBefore(div,logobox); }); } catch (err) { // ignore this mess, too }