pbwest 2003/01/23 17:03:45
Added: src/documentation/content/design/alt.design/properties
index.html
Log:
Based on ../alt-design-frameset.html
Revision Changes Path
1.1
xml-fop/src/documentation/content/design/alt.design/properties/index.html
Index: index.html
===================================================================
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN">
<html>
<head>
<title>Alt Design Frameset</title>
<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<script type="application/x-javascript">
<!--
var isWide = false;
var isHigh = true;
function widenCol() {
if (isWide) { return; }
fset = document.getElementById("altDesignFramesetCols");
fset.setAttribute("cols", "60%,*");
logowin = top.frames[0];
logodoc = logowin.document;
wbutton = logodoc.getElementById("widenButton");
//tnode = document.createTextNode("<");
//tchild = wbutton.firstChild;
wbutton.setAttribute("value", "<");
isWide = true;
}
function narrowCol() {
if ( ! isWide) { return; }
fset = document.getElementById("altDesignFramesetCols");
fset.setAttribute("cols", "200,*");
logowin = top.frames[0];
logodoc = logowin.document;
wbutton = logodoc.getElementById("widenButton");
//tnode = document.createTextNode(">");
//tchild = wbutton.firstChild;
//wbutton.replaceChild(tnode, tchild);
wbutton.setAttribute("value", ">");
isWide = false;
}
function toggleColWidths() {
if (isWide) {
narrowCol();
} else {
widenCol()
}
}
function lengthenCol() {
if (isHigh) { return; }
fset = document.getElementById("altDesignFramesetRows");
fset.setAttribute("rows", "75%,*");
logowin = top.frames[0];
logodoc = logowin.document;
lbutton = logodoc.getElementById("lengthenButton");
//tnode = document.createTextNode("^");
//tchild = lbutton.firstChild;
//lbutton.replaceChild(tnode, tchild);
lbutton.setAttribute("value", "^");
isHigh = true;
}
function shortenCol() {
if ( ! isHigh) { return; }
fset = document.getElementById("altDesignFramesetRows");
fset.setAttribute("rows", "100,*");
logowin = top.frames[0];
logodoc = logowin.document;
lbutton = logodoc.getElementById("lengthenButton");
//tnode = document.createTextNode("v");
//tchild = lbutton.firstChild;
//lbutton.replaceChild(tnode, tchild);
lbutton.setAttribute("value", "v");
isHigh = false;
}
function toggleColHeights() {
if (isHigh) {
shortenCol();
} else {
lengthenCol()
}
}
function displayCode(src) {
top.frames[1].location = src;
widenCol();
shortenCol();
}
function displayHtml(src) {
top.frames[2].location = src;
narrowCol();
lengthenCol();
}
-->
</script>
</head>
<frameset id="altDesignFramesetCols" cols="200,*">
<frameset id="altDesignFramesetRows" rows="75%,*">
<frame id="logoFrame" class="logo" style="padding: 0px; margin: 0px:
border: 0px;" src="../logo.html" scrolling="no">
<frame id= "codeDisplayFrame"
class= "codeDisplay"
src= "../codeframe.html" >
</frameset>
<frame id="contents" src="introduction.html">
</frameset>
</html>
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
