52d51 < var location = document.getElementById('location'); 60d58 < // initialize links to use the "location bar" 69,82d66 < // go to the link specified in the "location bar" < function go() { < var url = location.value; < url = url.match(/^[^\/]{0,5}?\/\//) ? url : 'http://' + url; < < // naive domain matching < var domain = url.replace(/^[^\/]{0,5}?\/\//, '').replace(/\/.*$/, '') < < if (domain != '') { < loadURL(url, domain); < } < } < < // load a link and update "location bar" 84,86c68 < location.value = link.href; < go(); < } --- > iframe.src = link.href; 88,93c70,71 < // load the url and display domain in banner < function loadURL(url, domain) { < iframe.src = url; < < // set the banner text to be the domain < banner.firstChild.innerHTML = banner.nextSibling.firstChild.innerHTML = domain; --- > // set the banner text to be the link's text > banner.firstChild.innerHTML = banner.nextSibling.firstChild.innerHTML = link.innerHTML; 104d81 < // hide banner and reset opacity 110d86 < // fader running constantly 124d99 < // faster fade when page is done loading 128,139d102 < < // load the page on blur (probably tab/click "go") < location.addEventListener('blur', go, true); < < // load the page on enter < location.addEventListener('keyup', function(e) { < if (e.keyCode == 13) { < e.target.blur(); < } < }, true); < < // initialize first page shown 146d108 <