diff --git a/.gitignore b/.gitignore index 2cbdd5998..0d06ec435 100644 --- a/.gitignore +++ b/.gitignore @@ -75,3 +75,5 @@ coverage bliss *.a *.dylib +/doc/*.js +/doc/*.css diff --git a/doc/chooser.html b/doc/chooser.html deleted file mode 100644 index db786c969..000000000 --- a/doc/chooser.html +++ /dev/null @@ -1,132 +0,0 @@ - - - - - - -GAPDoc Style Chooser - - - - - - - - -

Setting preferences for GAPDoc manuals

- -
-

- -

-

-Unfold subsections in menus only by mouse clicks: - no (default) -    - yes -

-

-Show GAP examples as in sessions with ColorPrompt(true): - yes -(default)     - no -

-

-Display side of table of contents within chapters: - right (default)     - left -

-

-Main document font: - Helvetica/sans -serif (default)     - Times/serif -

-

-Paragraph formatting: - left-right -justified (default)     - ragged right -

-
-

-Apply settings to last page. -

- - - - diff --git a/doc/lefttoc.css b/doc/lefttoc.css deleted file mode 100644 index f8d65f8e5..000000000 --- a/doc/lefttoc.css +++ /dev/null @@ -1,17 +0,0 @@ -/* leftmenu.css Frank Lübeck */ -/* Change default CSS to show section menu on left side */ - -body { - padding-left: 28%; -} -body.chap0 { - padding-left: 2%; -} -div.ChapSects div.ContSect:hover div.ContSSBlock { - left: 15%; -} -div.ChapSects { - left: 1%; - width: 25%; -} - diff --git a/doc/manual.css b/doc/manual.css deleted file mode 100644 index a320794f0..000000000 --- a/doc/manual.css +++ /dev/null @@ -1,482 +0,0 @@ -/* manual.css Frank Lübeck */ -/* This is the default CSS style sheet for GAPDoc HTML manuals. */ - -/* basic settings, fonts, sizes, colors, ... */ -body { - position: relative; - background: #ffffff; - color: #000000; - width: 70%; - margin: 0pt; - padding: 15pt; - font-family: Helvetica,Verdana,Arial,sans-serif; - text-align: justify; -} - -/* no side toc on title page, bib and index */ -body.chap0 { - width: 95%; -} -body.chapBib { - width: 95%; -} -body.chapInd { - width: 95%; -} - - -h1 { font-size: 200%; } -h2 { font-size: 160%; } -h3 { font-size: 160%; } -h4 { font-size: 130%; } -h5 { font-size: 100%; } - -p.foot { - font-size: 60%; - font-style: normal; -} - -a:link { - color: #00008e; - text-decoration: none; -} -a:visited { - color: #00008e; - text-decoration: none; -} -a:active { - color: #000000; - text-decoration: none; -} -a:hover { - background: #eeeeee; -} - -pre { - font-family: "Courier New",Courier,monospace; - font-size: 100%; - color:#111111; -} - -tt,code { - font-family: "Courier New",Courier,monospace; - font-size: 110%; - color: #000000; } - -var { -} - -/* general alignment classes */ -.pcenter { - text-align: center; -} - -.pleft { - text-align: left; -} - -.pright { - text-align: right; -} - -/* layout for the definitions of functions, variables, ... */ -div.func { - background: #e0e0e0; - margin: 0pt 0pt; -} - - -/* general and special table settings */ -table { - border-collapse: collapse; - margin-left: auto; - margin-right: auto; -} - -td, th { - border-style: none; -} - -table.func { - padding: 0pt 1ex; - margin-left: 1ex; - margin-right: 1ex; - background: transparent; - /* line-height: 1.1; */ - width: 100%; -} - -table.func td.tdright { - padding-right: 2ex; -} - -/* Example elements (for old converted manuals, now in div+pre */ -table.example { - background: #efefef; - border-style: none; - border-width: 0pt; - padding: 0px; - width: 100% -} -table.example td { - border-style: none; - border-width: 0pt; - padding: 0ex 1ex; -} -/* becomes ... */ -div.example { - background: #efefef; - padding: 0ex 1ex; - /* overflow-x: auto; */ - overflow: auto; -} - -/* Links to chapters in all files at top and bottom. */ -/* If there are too many chapters then use 'display: none' here. */ -div.chlinktop { - background: #dddddd; - border-style: solid; - border-width: thin; - margin: 2px; - text-align: center; -} - -div.chlinktop a { - margin: 3px; -} -div.chlinktop a:hover { - background: #ffffff; -} - -div.chlinkbot { - background: #dddddd; - border-style: solid; - border-width: thin; - margin: 2px; - text-align: center; - /* width: 100%; */ -} - -div.chlinkbot a { - margin: 3px; -} - -span.chlink1 { -} - -/* and this is for the "Top", "Prev", "Next" links */ -div.chlinkprevnexttop { - background: #dddddd; - border-style: solid; - border-width: thin; - text-align: center; - margin: 2px; -} - -div.chlinkprevnexttop a:hover { - background: #ffffff; -} - -div.chlinkprevnextbot { - background: #dddddd; - border-style: solid; - border-width: thin; - text-align: center; - margin: 2px; -} - -div.chlinkprevnextbot a:hover { - background: #ffffff; -} - - -/* table of contents, initially don't display subsections */ -div.ContSSBlock { - display: none; -} -div.ContSSBlock br { - display: none; -} -/* format in separate lines */ -span.tocline { - display: block; - width: 100%; -} -div.ContSSBlock a { - display: block; -} - -/* this is for the main table of contents */ -div.ContChap { -} - -div.ContChap div.ContSect:hover div.ContSSBlock { - display: block; - position: absolute; - background: #eeeeee; - border-style: solid; - border-width: 1px 4px 4px 1px; - border-color: #666666; - padding-left: 0.5ex; - color: #000000; - left: 20%; - width: 40%; - z-index: 10000; -} - -div.ContSSBlock a:hover { - background: #ffffff; -} - -/* and here for the side menu of contents in the chapter files */ -div.ChapSects { -} - -div.ChapSects a:hover { - background: #eeeeee; -} - -div.ChapSects a:hover { - display: block; - width: 100%; - background: #eeeeee; - color: #000000; -} - -div.ChapSects div.ContSect:hover div.ContSSBlock { - display: block; - position: fixed; - background: #eeeeee; - border-style: solid; - border-width: 1px 2px 2px 1px; - border-color: #666666; - padding-left: 0ex; - padding-right: 0.5ex; - color: #000000; - left: 54%; - width: 25%; - z-index: 10000; -} - -div.ChapSects div.ContSect:hover div.ContSSBlock a { - display: block; - margin-left: 3px; -} - -div.ChapSects div.ContSect:hover div.ContSSBlock a:hover { - display: block; - background: #ffffff; -} - -div.ContSect { - text-align: left; - margin-left: 1em; -} -div.ChapSects { - position: fixed; - left: 75%; - font-size: 90%; - overflow: auto; - top: 10px; - bottom: 0px; -} - -/* Table elements */ -table.GAPDocTable { - border-collapse: collapse; - border-style: none; - border-color: black; -} - -table.GAPDocTable td, table.GAPDocTable th { - padding: 3pt; - border-width: thin; - border-style: solid; - border-color: #555555; -} - -caption.GAPDocTable { - caption-side: bottom; - width: 70%; - margin-top: 1em; - margin-left: auto; - margin-right: auto; -} - -td.tdleft { - text-align: left; -} - -table.GAPDocTablenoborder { - border-collapse: collapse; - border-style: none; - border-color: black; -} - -table.GAPDocTablenoborder td, table.GAPDocTable th { - padding: 3pt; - border-width: 0pt; - border-style: solid; - border-color: #555555; -} - -caption.GAPDocTablenoborder { - caption-side: bottom; - width: 70%; - margin-top: 1em; - margin-left: auto; - margin-right: auto; -} - -td.tdleft { - text-align: left; -} - -td.tdright { - text-align: right; -} - -td.tdcenter { - text-align: center; -} - -/* Colors and fonts can be overwritten for some types of elements. */ -/* Verb elements */ -pre.normal { - color: #000000; -} - -/* Func-like elements and Ref to Func-like */ -code.func { - color: #000000; -} - -/* K elements */ -code.keyw { - color: #770000; -} - -/* F elements */ -code.file { - color: #8e4510; -} - -/* C elements */ -code.code { -} - -/* Item elements */ -code.i { -} - -/* Button elements */ -strong.button { -} - -/* Headings */ -span.Heading { -} - -/* Arg elements */ -var.Arg { - color: #006600; -} - -/* Example elements, is in tables, see above */ -div.Example { -} - -/* Package elements */ -strong.pkg { -} - -/* URL-like elements */ -span.URL { -} - -/* Mark elements */ -strong.Mark { -} - -/* Ref elements */ -b.Ref { -} -span.Ref { -} - -/* this contains the contents page */ -div.contents { -} - -/* this contains the index page */ -div.index { -} - -/* ignore some text for non-css layout */ -span.nocss { - display: none; -} - -/* colors for ColorPrompt like examples */ -span.GAPprompt { - color: #000097; - font-weight: normal; -} -span.GAPbrkprompt { - color: #970000; - font-weight: normal; -} -span.GAPinput { - color: #970000; -} - -/* Bib entries */ -p.BibEntry { -} -span.BibKey { - color: #005522; -} -span.BibKeyLink { -} -b.BibAuthor { -} -i.BibTitle { -} -i.BibBookTitle { -} -span.BibEditor { -} -span.BibJournal { -} -span.BibType { -} -span.BibPublisher { -} -span.BibSchool { -} -span.BibEdition { -} -span.BibVolume { -} -span.BibSeries { -} -span.BibNumber { -} -span.BibPages { -} -span.BibOrganization { -} -span.BibAddress { -} -span.BibYear { -} -span.BibPublisher { -} -span.BibNote { -} -span.BibHowpublished { -} - - - - diff --git a/doc/manual.js b/doc/manual.js deleted file mode 100644 index 6de6f7c50..000000000 --- a/doc/manual.js +++ /dev/null @@ -1,112 +0,0 @@ -/* 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 - in a manual directory, this is no problem. Users just cannot switch - between several styles and don't see the corresponding button. - - A style with name mystyle can be added by providing two files (or only - one of them). - mystyle.js: Additional javascript code for the style, it is - read in the HTML pages after this current file. - 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(newfunc);). - Make sure, that your style is still usable without - javascript. - mystyle.css: CSS configuration, read after manual.css (so it can - 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] - link and choosing one. Or one can append '?GAPDocStyle=mystyle' to the URL - when loading any file of the manual (so the style can be configured in - the GAP user preferences). - -*/ - -/* generic helper function */ -function deleteCookie(nam) { - document.cookie = nam+"=;Path=/;expires=Thu, 01 Jan 1970 00:00:00 GMT"; -} - -/* 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 = cs[i].indexOf("="); - 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 i=0; i+3 < here.length; i++) - 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(''); - document.writeln(''); - } - } -} - -/* this adds a "[Style]" link next to the MathJax switcher */ -function addStyleLink() { - var line = document.getElementById("mathjaxlink"); - var el = document.createElement("a"); - var oncl = document.createAttribute("href"); - var back = window.location.protocol+"//" - if (window.location.protocol == "http:") { - 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](); -} - diff --git a/doc/nocolorprompt.css b/doc/nocolorprompt.css deleted file mode 100644 index 601602f73..000000000 --- a/doc/nocolorprompt.css +++ /dev/null @@ -1,13 +0,0 @@ - -/* colors for ColorPrompt like examples */ -span.GAPprompt { - color: #000000; - font-weight: normal; -} -span.GAPbrkprompt { - color: #000000; - font-weight: normal; -} -span.GAPinput { - color: #000000; -} diff --git a/doc/ragged.css b/doc/ragged.css deleted file mode 100644 index e8d79caf0..000000000 --- a/doc/ragged.css +++ /dev/null @@ -1,6 +0,0 @@ -/* times.css Frank Lübeck */ -/* Change default CSS to use Times font. */ - -body { - text-align: left; -} diff --git a/doc/rainbow.js b/doc/rainbow.js deleted file mode 100644 index 1b662aeca..000000000 --- a/doc/rainbow.js +++ /dev/null @@ -1,60 +0,0 @@ - -function randchar(str) { - var i = Math.floor(Math.random() * str.length); - while (i == str.length) - i = Math.floor(Math.random() * str.length); - return str[i]; -} - -hexdigits = "0123456789abcdef"; - -function randlight() { - return randchar("cdef")+randchar(hexdigits)+ - randchar("cdef")+randchar(hexdigits)+ - randchar("cdef")+randchar(hexdigits) -} -function randdark() { - return randchar("012345789")+randchar(hexdigits)+ - randchar("012345789")+randchar(hexdigits)+ - randchar("102345789")+randchar(hexdigits) -} - -document.write('\n'); - - - diff --git a/doc/times.css b/doc/times.css deleted file mode 100644 index 426227252..000000000 --- a/doc/times.css +++ /dev/null @@ -1,6 +0,0 @@ -/* times.css Frank Lübeck */ -/* Change default CSS to use Times font. */ - -body { - font-family: Times,Times New Roman,serif; -} diff --git a/doc/toggless.css b/doc/toggless.css deleted file mode 100644 index 88650cbfa..000000000 --- a/doc/toggless.css +++ /dev/null @@ -1,42 +0,0 @@ -/* toggless.css Frank Lübeck */ - -/* Using javascript we change all div.ContSect to div.ContSectOpen or - div.ContSectClosed. This way the config for div.ContSect in manual.css - is no longer relevant. Here we add the CSS for the new elements. */ -/* This layout is based on an idea by Burkhard Höfling. */ - -div.ContSectClosed { - text-align: left; - margin-left: 1em; -} -div.ContSectOpen { - text-align: left; - margin-left: 1em; -} -div.ContSectOpen div.ContSSBlock { - display: block; - text-align: left; - margin-left: 1em; -} -div.ContSectOpen div.ContSSBlock a { - display: block; - width: 100%; - margin-left: 1em; -} -span.tocline a:hover { - display: inline; - background: #eeeeee; -} -span.ContSS a:hover { - display: inline; - background: #eeeeee; -} -span.toctoggle { - font-size: 80%; - display: inline-block; - width: 1.2em; -} -span.toctoggle:hover { - background-color: #aaaaaa; -} - diff --git a/doc/toggless.js b/doc/toggless.js deleted file mode 100644 index b932d8310..000000000 --- a/doc/toggless.js +++ /dev/null @@ -1,65 +0,0 @@ -/* toggless.js Frank Lübeck */ - -/* this file contains two functions: - mergeSideTOCHooks: this changes div.ContSect elements to the class - ContSectClosed and includes a hook to toggle between - ContSectClosed and ContSectOpen. - openclosetoc: this function does the toggling, the rest is done by - CSS -*/ - - - -closedTOCMarker = "▶ "; -openTOCMarker = "▼ "; -noTOCMarker = " "; -/* merge hooks into side toc for opening/closing subsections - with openclosetoc */ -function mergeSideTOCHooks() { - var hlist = document.getElementsByTagName("div"); - for (var i = 0; i < hlist.length; i++) { - if (hlist[i].className == "ContSect") { - var chlds = hlist[i].childNodes; - var el = document.createElement("span"); - var oncl = document.createAttribute("class"); - oncl.nodeValue = "toctoggle"; - el.setAttributeNode(oncl); - var cont; - if (chlds.length > 2) { - var oncl = document.createAttribute("onclick"); - oncl.nodeValue = "openclosetoc(event)"; - el.setAttributeNode(oncl); - cont = document.createTextNode(closedTOCMarker); - } else { - cont = document.createTextNode(noTOCMarker); - } - el.appendChild(cont); - hlist[i].firstChild.insertBefore(el, hlist[i].firstChild.firstChild); - hlist[i].className = "ContSectClosed"; - } - } -} - -function openclosetoc (event) { - /* first two steps to make it work in most browsers */ - var evt=window.event || event; - if (!evt.target) - evt.target=evt.srcElement; - - var markClosed = document.createTextNode(closedTOCMarker); - var markOpen = document.createTextNode(openTOCMarker); - - var par = evt.target.parentNode.parentNode; - if (par.className == "ContSectOpen") { - par.className = "ContSectClosed"; - evt.target.replaceChild(markClosed, evt.target.firstChild); - } - else if (par.className == "ContSectClosed") { - par.className = "ContSectOpen"; - evt.target.replaceChild(markOpen, evt.target.firstChild); - } -} - -/* adjust jscontent which is called onload */ -jscontentfuncs.push(mergeSideTOCHooks); -