mirrors
/
fop
mirror of https://github.com/apache/fop.git


			
				
					
						
						
							1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677
							<!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="text/javascript">
      <!--
      browserName = navigator.appName;
      var isHigh = true;
      
      function lengthenCol() {
        if (isHigh) { return; }
        fset = document.getElementById("altDesignFramesetRows");
        fset.setAttribute("rows", "95%,*");
        logowin = top.frames[0];
        if (logowin == null) {
          alert(
            "Requires Navigator >= 7, Mozilla >= 1.2.1 or IE >= 6");
          return;
        }
        logodoc = logowin.document;
        lbutton = logodoc.getElementById("lengthenButton");
        lbutton.setAttribute("value", "^");
        isHigh = true;
      }
      
      function shortenCol() {
        if ( ! isHigh) { return; }
        fset = document.getElementById("altDesignFramesetRows");
        fset.setAttribute("rows", "20%,*");
        logowin = top.frames[0];
        if (logowin == null) {
          alert(
            "Requires Navigator >= 7, Mozilla >= 1.2.1 or IE >= 6");
          return;
        }
        logodoc = logowin.document;
        lbutton = logodoc.getElementById("lengthenButton");
        lbutton.setAttribute("value", "v");
        isHigh = false;
      }
      
      function toggleColHeights() {
        if (isHigh) {
          shortenCol();
        } else {
          lengthenCol()
        }
      }

      function displayCode(src) {
          top.frames[2].location = src;
          shortenCol();
      }

      function displayHtml(src) {
          top.frames[1].location = src;
          lengthenCol();
      }

      function displayAlert(msg) {
        alert(msg);
      }
      -->
    </script>
  </head>
  <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>
  </frameset>
</html>