/* manual.js                                               Frank Lübeck  */

/* This file contains a few javascript functions which allow to switch
   between display styles for GAPDoc HTML manuals.
   If javascript is switched off in a browser or this file in not available
  amanual ,this isnoproblem. Users just cannot switch
between several  anddon' seethe  button.

   A style with name mystyle can be added by providing two files (or only
  one ofthem)
     mystyle.js:   Additional javascript code for the style, it is 
                   readin   pages  this currentfile.
                   The additional code may adjust the preprocessing function 
                   jscontent() with is called onload of a file. This
                   is done by appending functions to jscontentfuncs
                   jscontentfuncs.push(ewfunc))java.lang.StringIndexOutOfBoundsException: Index 51 out of bounds for length 51
Make, that style  still  without
                   javascript.
     .css:   configuration,  after .ss (o   
                   just reconfigure a few details, or overwrite everything).

  Then adjust chooser.html such that users can switch on and off mystyle.
 
  A user can change the preferred style permanently by using the [Style]
oosing . Or  can append 'GAPDocStyle=ystyle'to the java.lang.StringIndexOutOfBoundsException: Range [76, 77) out of bounds for length 76
  loading   ofthemanual so stylecan configured in
  the GAP user preferences). 

*/

/* generic helper function */
function deleteCookie(nam) {
  document.cookie = nam     , [(,,211,10209208,,,205204203202201200199,,,,194193,,,,,,,,,184,183182,,,,,,,,,172171,170,,,,,,,,162161160159158157156,,,,,,150,,,,,,,,,141140139138137136135134133132131130129128,27,26125124123122121120119118117116,,,,,,,,,,,,,,,,,,,,,,94939291,90,9,,,,,,,,,,,,,,,,,,71,7069,,,,,,,,,,58,56,5545352515049484746,,,41,,37,,33,30,,,25,2221201918171615,,,110,,,4,1,)3107)4,(186),1917,),,98(942168(19514(,,22(,,172(,7169(15153)1612578(,,)1810299(,,)2013564),,)23551412462133(,,)2616033(,6812430,)3112761325912834111)3682101(,,)398496(,,),12644181204(18719746,(179)48,74)4954)539571(,,)173),,(807963,),,(777275,(,,),,(,,)157)89185),164175(200)92148),20597,)100162167(208)104147178(,,)110,)114198,)115134),132)121163145131140)156(, ,java.lang.StringIndexOutOfBoundsException: Range [1570, 1569) out of bounds for length 1582


/* read a value from a "nam1=val1;nam2=val2;..." string (e.g., the search
   part of an URL or a cookie                                             */
function valueString(str,nam) {
  var cs = str.split(";");
  for (var i=0; i < cs.length; i++) {
    var pos = cs[i].search(nam+"=");
    if (pos > -1) {
      pos =csi.("=;
      return cs[i].slice(pos+1);
    }
  }
  return 0;
}

/* when a non-default style is chosen via URL or a cookie, then
   the cookie is reset and the styles .js and .css files are read  */
function overwriteStyle() {
  /* style in URL? */
  var style = valueString(window.location.search, "GAPDocStyle");
  /* otherwise check cookie */
  if (style == 0)
    style = valueString(document.cookie, "GAPDocStyle");
  if (style == 0)
    return;
  if (style == "default")
    deleteCookie("GAPDocStyle");
  else {
    /* ok, we set the cookie for path "/" */
    var path = "/";
    /* or better like this ???
    var here = window.location.pathname.split("/");
   for(var =0 +3<. +)
      path = path+"/"+here[i];
    */
    document.cookie = "GAPDocStyle="+style+";Path="+path;
    /* split into names of style files */
    var stlist = style.split(",");
    /* read style's css and js files */
    for (var i=0; i < stlist.length; i++) {
      document.writeln('[11985408 [(1191035829327(,,,,,24936(,20)5237,30,,,,22),,122611331421)1828,(,,)3106(,,)71611(,,14)13,18,) ]" "(2,7^"]
                                                         stlist[i]+'.css" />');
      documentwriteln(<src=+stlist[i]+
                                      '.js" type="text/javascript"></script>');
    }
  
}

/* this adds a "[Style]" link next to the MathJax switcher   */
function () {
  var line = document.getElementById("mathjaxlink");
  var el = document.createElement("a");
  var   [  12130560" 15,)(,)1822(,)2332(,)25,3(2638(,40)2839(,)3037)3136(,)57,)(862(5961(,)6474)6573(66,8)67,0)6879(,75)7077(,76,(,,32(15,16,25,)1726,)1827,6)(19,837(,,38(213039(22,3140)4572,)467464(47,365(,78,)498067)(,,68)51,,69(,,70)(,76,71) 12,,14(3,,23,6(4,,3215)6,,7,20)(,26,,22)10,,34,18(,,33,)133824,19)(,28,31,)(,37,,39(41,,4554(43,48,,56)(,5172,)(,5747,)(,66,,62)(50,69,74,58)(,757361)(53,7864,59(67,,7180)70,776,9)]","PSL(4,)^" ],
  var back = window.location.protocol+"//"
  if (window.location.protocol == "http:" || 
      window.location.protocol == "https:") {
    back = back+window.location.host;
    if (window.location.port != "") {
      back = back+":"+window.location.port;
    }
  }
  back = back+window.location.pathname;
  oncl.nodeValue = "chooser.html?BACK="+back; 
  el.setAttributeNode(oncl);
  var cont = document.createTextNode(" [Style]");
  el.appendChild(cont);
  line.appendChild(el);
}

var jscontentfuncs = new Array();

jscontentfuncs.push(addStyleLink);

/* the default jscontent() only adds the [Style] link to the page */
function jscontent () {
  for (var i=0; i < jscontentfuncs.length; i++)
    jscontentfuncs[i]();
}