mirror of
https://github.com/elua/elua.git
synced 2025-01-08 20:56:17 +08:00
221 lines
5.9 KiB
HTML
Executable File
221 lines
5.9 KiB
HTML
Executable File
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Strict//EN">
|
|
<html>
|
|
<head>
|
|
<meta http-equiv="Content-Language" content="en-us" >
|
|
<title>Tree</title>
|
|
<base target="wb_cont">
|
|
<style type="text/css">
|
|
.tree { font-family: helvetica, sans-serif; font-size: 10pt; }
|
|
.tree h3 {
|
|
margin: 5px 0px 0px 0px;
|
|
font-size: 12pt;
|
|
}
|
|
.tree p { margin: 0px; white-space: nowrap; }
|
|
.tree p.sep { margin: 0px; white-space: nowrap; line-height: 8px; font-size: 5px; }
|
|
.tree div { display: none; margin: 0px; }
|
|
.tree img { vertical-align: middle; }
|
|
.tree a.el { text-decoration: none; margin-left: 4px; color: #003366; }
|
|
.tree a:hover { text-decoration: none; background-color: #e0e0ff }
|
|
</style>
|
|
<script type="text/javascript">
|
|
lastLink = null;
|
|
|
|
function hideFolder(folder, id)
|
|
{
|
|
var imageNode = document.images["img" + id];
|
|
if (imageNode != null)
|
|
{
|
|
var len = imageNode.src.length;
|
|
if (imageNode.src.substring(len-8,len-4) == "last")
|
|
imageNode.src = "wb_img/plusnodelast.png";
|
|
else if (imageNode.src.substring(len-8,len-4) == "node")
|
|
imageNode.src = "wb_img/plusnode.png";
|
|
}
|
|
folder.style.display = "none";
|
|
}
|
|
|
|
function showFolder(folder, id)
|
|
{
|
|
var imageNode = document.images["img" + id];
|
|
if (imageNode != null)
|
|
{
|
|
var len = imageNode.src.length;
|
|
if (imageNode.src.substring(len-8,len-4) == "last")
|
|
imageNode.src = "wb_img/minusnodelast.png";
|
|
else if (imageNode.src.substring(len-8,len-4) == "node")
|
|
imageNode.src = "wb_img/minusnode.png";
|
|
}
|
|
folder.style.display = "block";
|
|
}
|
|
|
|
function toggleFolder(id)
|
|
{
|
|
var folder = document.getElementById(id);
|
|
if (folder.style.display == "block")
|
|
hideFolder(folder, id);
|
|
else
|
|
showFolder(folder, id);
|
|
}
|
|
|
|
function setFoldersAtLevel(level, show)
|
|
{
|
|
var i = 1;
|
|
do
|
|
{
|
|
var folder_id = level + "." + i;
|
|
var id = "folder" + folder_id;
|
|
var folder = document.getElementById(id);
|
|
if (folder != null)
|
|
{
|
|
setFoldersAtLevel(folder_id, show);
|
|
|
|
if (show)
|
|
showFolder(folder, id);
|
|
else
|
|
hideFolder(folder, id);
|
|
}
|
|
i++;
|
|
} while(folder != null);
|
|
}
|
|
|
|
function showAllFolders()
|
|
{
|
|
setFoldersAtLevel("", true);
|
|
}
|
|
|
|
function hideAllFolders()
|
|
{
|
|
setFoldersAtLevel("", false);
|
|
}
|
|
|
|
function getFolderId(name)
|
|
{
|
|
return name.substring(name.indexOf("folder"), name.length);
|
|
}
|
|
|
|
function showFolderRec(id)
|
|
{
|
|
var folder = document.getElementById(id);
|
|
if (folder != null)
|
|
{
|
|
showFolder(folder, id);
|
|
|
|
var parent_id = id.substring(0, id.lastIndexOf("."))
|
|
if (parent_id != null && parent_id != "folder")
|
|
{
|
|
showFolderRec(parent_id)
|
|
}
|
|
}
|
|
}
|
|
|
|
function clearLastLink()
|
|
{
|
|
if (lastLink != null)
|
|
{
|
|
lastLink.style.color = ""
|
|
lastLink = null;
|
|
}
|
|
}
|
|
|
|
function goToLink(link)
|
|
{
|
|
var id = getFolderId(link.name);
|
|
showFolderRec(id);
|
|
location.hash = "#" + link.name;
|
|
link.style.color = "#ff0000";
|
|
|
|
clearLastLink();
|
|
lastLink = link;
|
|
}
|
|
|
|
function syncContents()
|
|
{
|
|
var cur_topic = parent.wb_cont.location.href
|
|
|
|
for (var i = 0; i < document.links.length; i++)
|
|
{
|
|
var link = document.links[i];
|
|
if (cur_topic == link.href)
|
|
{
|
|
goToLink(link)
|
|
return
|
|
}
|
|
}
|
|
}
|
|
|
|
function nextContents()
|
|
{
|
|
var cur_topic = parent.wb_cont.location.href
|
|
|
|
for (var i = 0; i < document.links.length; i++)
|
|
{
|
|
var link = document.links[i];
|
|
if (cur_topic == link.href)
|
|
{
|
|
if (i == document.links.length-1)
|
|
link = document.links[0];
|
|
else
|
|
link = document.links[i+1];
|
|
|
|
goToLink(link)
|
|
parent.wb_cont.location.href = link.href;
|
|
return
|
|
}
|
|
}
|
|
}
|
|
|
|
function prevContents()
|
|
{
|
|
var cur_topic = parent.wb_cont.location.href
|
|
var prev_link = document.links[document.links.length-1]
|
|
|
|
for (var i = 0; i < document.links.length; i++)
|
|
{
|
|
var link = document.links[i];
|
|
if (cur_topic == link.href)
|
|
{
|
|
if (i == 0)
|
|
link = document.links[document.links.length-1];
|
|
else
|
|
link = document.links[i-1];
|
|
|
|
goToLink(link)
|
|
parent.wb_cont.location.href = link.href;
|
|
return
|
|
}
|
|
}
|
|
}
|
|
|
|
function showStartPage()
|
|
{
|
|
var full_url = parent.document.URL;
|
|
if (full_url == null)
|
|
return;
|
|
|
|
var param = full_url.substring(full_url.indexOf("?") + 1, full_url.length);
|
|
if (param == null)
|
|
return;
|
|
|
|
var param_url = param.substring(param.indexOf("url=") + 4, param.length);
|
|
if (param_url == null)
|
|
return;
|
|
|
|
var param_len = param_url.length;
|
|
for (var i = 0; i < document.links.length; i++)
|
|
{
|
|
var link = document.links[i];
|
|
var link_url = link.href.substring(link.href.length-param_len, link.href.length)
|
|
if (link_url == param_url)
|
|
{
|
|
goToLink(link)
|
|
parent.wb_cont.location.href = link.href;
|
|
return
|
|
}
|
|
}
|
|
}
|
|
</script>
|
|
</head>
|
|
|
|
<body style="margin: 2px; background-color: #F1F1F1" onload="showStartPage()">
|
|
<div class="tree" onmouseout="clearLastLink()">
|