You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

alt-design-frameset.html 3.7KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119
  1. <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN">
  2. <html>
  3. <head>
  4. <title>Alt Design Frameset</title>
  5. <META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
  6. <style>
  7. body {
  8. font-family: Verdana, Helvetica, sans-serif;
  9. }
  10. frame.logo {align=right;}
  11. .note { border: solid 1px #7099C5; background-color: #f0f0ff; }
  12. .note .label { background-color: #7099C5; color: #ffffff; }
  13. .content {
  14. padding: 5px 5px 5px 10px;
  15. font : Verdana, Helvetica, sans-serif; font-size : 90%;
  16. }
  17. </style>
  18. <script type="application/x-javascript">
  19. <!--
  20. var isWide = false;
  21. var isHigh = true;
  22. function widenCol() {
  23. if (isWide) { return; }
  24. fset = document.getElementById("altDesignFramesetCols");
  25. fset.setAttribute("cols", "60%,*");
  26. logowin = top.frames[0];
  27. logodoc = logowin.document;
  28. wbutton = logodoc.getElementById("widenButton");
  29. //tnode = document.createTextNode("<");
  30. //tchild = wbutton.firstChild;
  31. wbutton.setAttribute("value", "<");
  32. isWide = true;
  33. }
  34. function narrowCol() {
  35. if ( ! isWide) { return; }
  36. fset = document.getElementById("altDesignFramesetCols");
  37. fset.setAttribute("cols", "200,*");
  38. logowin = top.frames[0];
  39. logodoc = logowin.document;
  40. wbutton = logodoc.getElementById("widenButton");
  41. //tnode = document.createTextNode(">");
  42. //tchild = wbutton.firstChild;
  43. //wbutton.replaceChild(tnode, tchild);
  44. wbutton.setAttribute("value", ">");
  45. isWide = false;
  46. }
  47. function toggleColWidths() {
  48. if (isWide) {
  49. narrowCol();
  50. } else {
  51. widenCol()
  52. }
  53. }
  54. function lengthenCol() {
  55. if (isHigh) { return; }
  56. fset = document.getElementById("altDesignFramesetRows");
  57. fset.setAttribute("rows", "75%,*");
  58. logowin = top.frames[0];
  59. logodoc = logowin.document;
  60. lbutton = logodoc.getElementById("lengthenButton");
  61. //tnode = document.createTextNode("^");
  62. //tchild = lbutton.firstChild;
  63. //lbutton.replaceChild(tnode, tchild);
  64. lbutton.setAttribute("value", "^");
  65. isHigh = true;
  66. }
  67. function shortenCol() {
  68. if ( ! isHigh) { return; }
  69. fset = document.getElementById("altDesignFramesetRows");
  70. fset.setAttribute("rows", "100,*");
  71. logowin = top.frames[0];
  72. logodoc = logowin.document;
  73. lbutton = logodoc.getElementById("lengthenButton");
  74. //tnode = document.createTextNode("v");
  75. //tchild = lbutton.firstChild;
  76. //lbutton.replaceChild(tnode, tchild);
  77. lbutton.setAttribute("value", "v");
  78. isHigh = false;
  79. }
  80. function toggleColHeights() {
  81. if (isHigh) {
  82. shortenCol();
  83. } else {
  84. lengthenCol()
  85. }
  86. }
  87. function displayCode(src) {
  88. top.frames[1].location = src;
  89. widenCol();
  90. shortenCol();
  91. }
  92. function displayHtml(src) {
  93. top.frames[2].location = src;
  94. narrowCol();
  95. lengthenCol();
  96. }
  97. -->
  98. </script>
  99. </head>
  100. <frameset id="altDesignFramesetCols" cols="200,*">
  101. <frameset id="altDesignFramesetRows" rows="75%,*">
  102. <frame id="logoFrame" class="logo" style="padding: 0px; margin: 0px:
  103. border: 0px;" src="logo.html" scrolling="no">
  104. <frame id= "codeDisplayFrame"
  105. class= "codeDisplay"
  106. src= "codeframe.html" >
  107. </frameset>
  108. <frame id="contents" src="properties/introduction.html">
  109. </frameset>
  110. </html>