<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%,*");
+ fset.setAttribute("rows", "95%,*");
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,*");
+ fset.setAttribute("rows", "20%,*");
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 displayCode(src) {
- top.frames[1].location = src;
- widenCol();
+ top.frames[2].location = src;
shortenCol();
}
function displayHtml(src) {
- top.frames[2].location = src;
- narrowCol();
+ top.frames[1].location = src;
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">
+ <frameset id="altDesignFramesetCols" cols="180,*">
+ <frame id="logoFrame" class="logo" style="padding: 0px; margin: 0px:
+ border: 0px;" src="logo.html" scrolling="no">
+ <frameset id="altDesignFramesetRows" rows="95%,*">
+ <frame id="contents" src="properties/introduction.html">
<frame id= "codeDisplayFrame"
class= "codeDisplay"
src= "codeframe.html" >
</frameset>
- <frame id="contents" src="properties/introduction.html">
</frameset>
</html>
}
img {padding:0px;margin:0px;border:0px;}
input {float:right;}
- input#widenButton {position:fixed; top: 0px; right: 0px}
- input#lengthenButton {position:fixed; top: 2em; right: 0px}
+ input#lengthenButton {position:fixed; bottom: 0.2em; right:
+ 0.2em}
li.toplevel {color: #CFDCED}
-->
</style>
</head>
<body>
- <input id="widenButton" onclick="parent.toggleColWidths();return
- true;" type="button" value=">">
<input id="lengthenButton" onclick="parent.toggleColHeights();return
true;" type="button" value="^">
<div id="menu" class="menu">
<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%,*");
+ fset.setAttribute("rows", "95%,*");
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,*");
+ fset.setAttribute("rows", "20%,*");
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 displayCode(src) {
- top.frames[1].location = src;
- widenCol();
+ top.frames[2].location = src;
shortenCol();
}
function displayHtml(src) {
- top.frames[2].location = src;
- narrowCol();
+ top.frames[1].location = src;
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">
+ <frameset id="altDesignFramesetCols" cols="180,*">
+ <frame id="logoFrame" class="logo" style="padding: 0px; margin: 0px:
+ border: 0px;" src="../logo.html" scrolling="no">
+ <frameset id="altDesignFramesetRows" rows="95%,*">
+ <frame id="contents" src="introduction.html">
<frame id= "codeDisplayFrame"
class= "codeDisplay"
src= "../codeframe.html" >
</frameset>
- <frame id="contents" src="introduction.html">
</frameset>
</html>