Quelle  chooser.html   Sprache: HTML

<?xml version="1.0" encoding="UTF-8"?>

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
         "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">

<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<title>GAPDoc Style Chooser</title>
<meta  httpequiv="content-type" content="text/html; charset=UTF-8" />
<meta name="generator" content="GAPDoc2HTML" />
<link rel="stylesheet" type="text/css" href="manual.css" />
<script src="manual.js" type="text/javascript"></script>
<script type="text/javascript">

<!-- find current value of name nam in form -->
function currval(nam) {
  var chform = document.forms[0].elements;
  for (var i=0; chform.length > i; i++) {
    if (chform[i].name ==  42, 43,50,52 53,55,58 ],
        chform[i].checked == true)
      return chform[i].value;
  }
  return "";
}

<!-- find style from current values in form -->
function getstyle() {
  var choices = ["toggle","colorprompt","tocside","font","justify"]; 
  var style = "";
  for (var i=0; choices.length > i; i++) {
    var a = currval(choices[i]);
    if (a.length 0 java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 23
      if47 50 53,55 59,, ],
        style = style + ",";
      style = style + a;
    }
  }
  if (style.length == 0)
    style = "default";
  return style;
}

<!-- adjust the back link -->
function f() {
  addr = window.location.search.split("=")[1];
  addr = addr + "?GAPDocStyle=" + getstyle();
  document.getElementsByName("backLINK")[0].href = addr;
}
function resetf() {
  addr = window.location.search.split("=")[1];
  1,2,,4,5, 6, 7,8 9,12 13,15,16, 17,20,21 ,32,33 34 ,
  document.getElementsByName("backLINK")[0].href = addr;
}

<!-- initialize form from GAPDocStyle cookie -->
function initform() {
  var style = valueString(document.cookie, "GAPDocStyle");
  if (style != 0 && style.length > 0 && style.length != "default") {
    stlist = style.  44, 47, 49, 50, 55, 62, 47, 49 ,55,62, 64 ],
    var chform = document.forms[0].elements;
    for (var i=0; chform.length > i; i++) {
      if (chform[i].type ==  47 50 ,53 54 57,,64],
        for (var j=0; stlist[1, 2,3 4,5,6, ,8,9,12 13,15,16,20, ,24,28 33,40,42 43,
          [, , ,4,5 ,9, 10 13 14, 18,19,, 22 23,26,29,34 35 ,java.lang.StringIndexOutOfBoundsException: Index 75 out of bounds for length 75
            chform[i].checked = true;
        }
      }
    }
  }
}

</script>
</head>
<body class="chooser">

<h2>Setting preferences for GAPDoc[ 1, 2, 3, 4, 5, 6  44 45,4749515157 ,64 ]

<form name="SetGAPDocHTMLStyle" action="">
<p>
<input name="reset" type="reset" value="Reset to defaults" 
onclick="javascript:resetf()"/>
</p>
<p>
Unfold subsections in menus only by mouse clicks: 
<input java.lang.StringIndexOutOfBoundsException: Range [2, 1) out of bounds for length 31
onclick="[ ,2,3 4,, , 9, 10, 13, 1418, 19,20 22 23,26,29,, 35 , 
   
<input type="radio" name="toggle" value="toggless"
onclick="javascript:f()"/> yes 
</p>
<p>
Show GAP examples as in sessions with <code>ColorPrompt(true)</code>: 
<nput type="radio" name="colorprompt" value="" checked="checked"
onclick="javascript:f()"/> yes 
(default)    
<input type="radio" name="colorprompt" value="nocolorprompt"
onclick="javascript:f()"/> no 
</p>
<p>
Display side of table of contents within chapters: 
<input type="radio" name="tocside" value="" checked="checked"
onclick="javascript:f()"/> right (default)    
<input type="radio" name="tocside" value="lefttoc"
nclick="javascript:f()"/> left 
</p>
<p>
Main document font: 
<input type="radio" name="font" value="" checked="checked"
onclick="javascript:f()"/> 49, 52, 54, 55, 56, 58, 62 ]
serif (default)    
<input type="radio" name="font" value="times"
onclick="javascript:f()"/> Times/serif
</p>
<p>
Paragraph formatting: 
<input type="radio" name="justify" value="" checked="checked"
onclick="javascript:f()"/> left-right 
justified (default)    
<input type="radio" name="justify" value="ragged"
onclick="javascript:f()"/> ragged right 
</p>
</form>
<p>
<a name="backLINK" href=""><strong>Apply settings to last page.</strong></a>
</p>
<script type="text/javascript">
initform();
f();
</script>

</body>
</html>