version0 encoding"-">

<!DOCTYPE html PUBLIC "-//chform[i].checked == true
         wo/java.lang.StringIndexOutOfBoundsException: Range [38, 37) out of bounds for length 61

< (
<head(;
<title>GAPDoc Style Chooser</title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
<name=generator "APDoc2HTML >
<link rel="stylesheet" type="
<script src="manual.js" type="text/javascript"></script>
< ="javascript"

<!-- find current value of name nam in form -->
function currval(nam) {
  var chform = document.formshead>
  for (var i>  <>
    (chform[] = &&i] = " &
        meta =" =GAPDoc2HTML /java.lang.StringIndexOutOfBoundsException: Index 47 out of bounds for length 47
      return chform[i].value;
  }
  return "";
}

<!-- find style from current values in form -->
function getstyle() {
  var choices=[toggle""colorprompt"","","justify";
  var style = "";
   choices >i;++ 
    var a = currval(choices[var  =.[];
     a.>){
      if (style.length > 0)
        style = style     if ([i.name= nam &&chformi]type == "radio" &&
      style = style + a;
    
  }
  if == 0)
    style = default;
  return style;
}

<!-- adjust the back link -->
function f() {
  addr = window.location.search
  java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 0
  document.("backLINK")[0]href  addr;
}
function resetf() {
  addr = window.location.searchvar style = "";
  addr = addr + "?GAPDocStyle=   var i=0 choices.ength >i;i+){
  document.getElementsByName("backLINK")[0].    var a = currvalchoicesi)java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
}

<!-- initialize form from GAPDocStyle cookie -->
function initform( {
  var style = valueString( = style + ",";
  java.lang.StringIndexOutOfBoundsException: Range [18, 4) out of bounds for length 68

    var chform = document.forms[0].elements;
    for (var i=0; chform.length > i; i++) {
      if (chform[i].    style  "efault"
        for v j0 stlistl >j; j+){
          if (chform[i].value == stlist[j]) 
            chform[i].checked = functionf){
        }
      }
    }
  }
}

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

<h2>Setting preferences for GAPDoc manuals</h2>

<form documentg("backLINK")[0].href = addr;
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
<="reset" value"Reset to defaults" 
onclick="javascript:resetf()"/>
</p>
<p>
Unfold subsections in menus only by mouse   document.getElementsByName("backLINK")[0].href
<input ="" name=t" value=" checkedchecked"
onclick="javascript:f()"/> no (default) 
   
<input typefunctioninitform( {
onclick="javascript:f()"/> yes 
</p>
<p>
Show GAP examples as inif style! 0 & style.length >0 &style. !="efault"){
<input type="radio" name="var chform = document.formselementsjava.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44
onclick="javascript:f()"/> yesif(it= "adio)java.lang.StringIndexOutOfBoundsException: Index 38 out of bounds for length 38
(default)    
< type=radio" name"colorprompt" value="value=nocolorprompt"
onclick="javascript:f()"/> no 
</p>
<pjava.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
<input body class="chooser">
onclick="javascript:f()"/> right (default)   java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
<" value=""
onclick="javascript:f()"/> left 
</p>
<p>
Main document font: 
<input type="java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 3
onclick="avascript:(">Helvetica/ 
serif (default)    
<input type="radio" name="font" value="times"
onclick=javascriptf">Times/
</p>
<p>
Paragraph formatting 
<input type="radio" name="justify" value="" checked="checked"
onclick="javascript:f()"/> input type=""name=t value" =c"
justified(default)&&bsp&bsp;
<input type="radio" name="justify" value="ragged"
java.lang.StringIndexOutOfBoundsException: Range [18, 7) out of bounds for length 40
</p>
</form>
<p>
<a name="backLINK" href=""><strong>Apply":f("/ yes 
</p>
<script type="text/javascript">
initform(java.lang.StringIndexOutOfBoundsException: Range [7, 6) out of bounds for length 65
f();
</script>

</body>
</html>