diff --git a/docs/_config.yml b/docs/_config.yml
index 8d0650a38..487fcfd79 100644
--- a/docs/_config.yml
+++ b/docs/_config.yml
@@ -41,8 +41,8 @@ header_pages:
ref_packages:
- Core Prolog
- ALS Library
- - C Interface
- ALSDev
+ - C Interface
defaults:
-
diff --git a/docs/_includes/ref-packtoc.html b/docs/_includes/ref-packtoc.html
index a3dc3be23..8c9f803d3 100644
--- a/docs/_includes/ref-packtoc.html
+++ b/docs/_includes/ref-packtoc.html
@@ -2,17 +2,14 @@
{%- for package in site.ref_packages %}
-{{package | escape}}
+{{package | escape}}{{package.name}}
-{%- assign groups = site.pages | where: "reference", true | where: "package", package | group_by: "group" | sort: "name" %}
-
-
-{%- for g in groups %}
- -
- {{g.name}}
-
-{%- endfor %}
-
{%- endfor %}
-
+
+
diff --git a/docs/_includes/sidebar.html b/docs/_includes/sidebar.html
new file mode 100644
index 000000000..c5049f770
--- /dev/null
+++ b/docs/_includes/sidebar.html
@@ -0,0 +1,110 @@
+
+
+
+
+
+
+
diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html
new file mode 100644
index 000000000..e69904593
--- /dev/null
+++ b/docs/_layouts/default.html
@@ -0,0 +1,30 @@
+
+
+
+ {%- include head.html -%}
+
+ {%- if jekyll.environment != "production" %}
+
+ {% endif -%}
+
+
+
+
+
+
+ {%- include header.html -%}
+
+
+ {{ content }}
+
+
+ {%- include footer.html -%}
+
+
+
+
diff --git a/docs/_layouts/reference-page.html b/docs/_layouts/reference-page.html
index 60bf56883..d1b17990b 100644
--- a/docs/_layouts/reference-page.html
+++ b/docs/_layouts/reference-page.html
@@ -10,6 +10,9 @@
{% if jekyll.environment == "production" %}{% include edit-source.html %}{% endif %}
+
+
+
{{ page.title | escape }}
Module: {{ page.module | escape }}
@@ -31,3 +34,14 @@ Module: {{ page.module | escape }}
{% endif -%}
{{ content }}
+
+
+
+
+
+
diff --git a/docs/assets/jquery-3.4.1.js b/docs/assets/jquery-3.4.1.js
new file mode 100644
index 000000000..773ad95c5
--- /dev/null
+++ b/docs/assets/jquery-3.4.1.js
@@ -0,0 +1,10598 @@
+/*!
+ * jQuery JavaScript Library v3.4.1
+ * https://jquery.com/
+ *
+ * Includes Sizzle.js
+ * https://sizzlejs.com/
+ *
+ * Copyright JS Foundation and other contributors
+ * Released under the MIT license
+ * https://jquery.org/license
+ *
+ * Date: 2019-05-01T21:04Z
+ */
+( function( global, factory ) {
+
+ "use strict";
+
+ if ( typeof module === "object" && typeof module.exports === "object" ) {
+
+ // For CommonJS and CommonJS-like environments where a proper `window`
+ // is present, execute the factory and get jQuery.
+ // For environments that do not have a `window` with a `document`
+ // (such as Node.js), expose a factory as module.exports.
+ // This accentuates the need for the creation of a real `window`.
+ // e.g. var jQuery = require("jquery")(window);
+ // See ticket #14549 for more info.
+ module.exports = global.document ?
+ factory( global, true ) :
+ function( w ) {
+ if ( !w.document ) {
+ throw new Error( "jQuery requires a window with a document" );
+ }
+ return factory( w );
+ };
+ } else {
+ factory( global );
+ }
+
+// Pass this if window is not defined yet
+} )( typeof window !== "undefined" ? window : this, function( window, noGlobal ) {
+
+// Edge <= 12 - 13+, Firefox <=18 - 45+, IE 10 - 11, Safari 5.1 - 9+, iOS 6 - 9.1
+// throw exceptions when non-strict code (e.g., ASP.NET 4.5) accesses strict mode
+// arguments.callee.caller (trac-13335). But as of jQuery 3.0 (2016), strict mode should be common
+// enough that all such attempts are guarded in a try block.
+"use strict";
+
+var arr = [];
+
+var document = window.document;
+
+var getProto = Object.getPrototypeOf;
+
+var slice = arr.slice;
+
+var concat = arr.concat;
+
+var push = arr.push;
+
+var indexOf = arr.indexOf;
+
+var class2type = {};
+
+var toString = class2type.toString;
+
+var hasOwn = class2type.hasOwnProperty;
+
+var fnToString = hasOwn.toString;
+
+var ObjectFunctionString = fnToString.call( Object );
+
+var support = {};
+
+var isFunction = function isFunction( obj ) {
+
+ // Support: Chrome <=57, Firefox <=52
+ // In some browsers, typeof returns "function" for HTML