      var box = document.getElementById("parentDirLinkBox");
                box.style.display = "block";

                var root = document.location.pathname;
                if (!root.endsWith("/"))
                    root += "/";

                var link = document.getElementById("parentDirLink");
                link.href = root + "..";
            }

            function onListingParsingError() {
                var box = document.getElementById("listingParsingErrorBox");
                box.innerH