diff --git a/dev/_odoc-theme/fonts/DejaVuSansMono-Bold.woff2 b/dev/_odoc-theme/fonts/DejaVuSansMono-Bold.woff2
new file mode 100644
index 00000000..f2b469a6
Binary files /dev/null and b/dev/_odoc-theme/fonts/DejaVuSansMono-Bold.woff2 differ
diff --git a/dev/_odoc-theme/fonts/DejaVuSansMono-BoldOblique.woff2 b/dev/_odoc-theme/fonts/DejaVuSansMono-BoldOblique.woff2
new file mode 100644
index 00000000..c28f9107
Binary files /dev/null and b/dev/_odoc-theme/fonts/DejaVuSansMono-BoldOblique.woff2 differ
diff --git a/dev/_odoc-theme/fonts/DejaVuSansMono-Oblique.woff2 b/dev/_odoc-theme/fonts/DejaVuSansMono-Oblique.woff2
new file mode 100644
index 00000000..2631692e
Binary files /dev/null and b/dev/_odoc-theme/fonts/DejaVuSansMono-Oblique.woff2 differ
diff --git a/dev/_odoc-theme/fonts/DejaVuSansMono.woff2 b/dev/_odoc-theme/fonts/DejaVuSansMono.woff2
new file mode 100644
index 00000000..cf200e12
Binary files /dev/null and b/dev/_odoc-theme/fonts/DejaVuSansMono.woff2 differ
diff --git a/dev/_odoc-theme/fonts/PTC55F.woff2 b/dev/_odoc-theme/fonts/PTC55F.woff2
new file mode 100644
index 00000000..aa67b386
Binary files /dev/null and b/dev/_odoc-theme/fonts/PTC55F.woff2 differ
diff --git a/dev/_odoc-theme/fonts/PTC75F.woff2 b/dev/_odoc-theme/fonts/PTC75F.woff2
new file mode 100644
index 00000000..fa5a500e
Binary files /dev/null and b/dev/_odoc-theme/fonts/PTC75F.woff2 differ
diff --git a/dev/_odoc-theme/fonts/PTS55F.woff2 b/dev/_odoc-theme/fonts/PTS55F.woff2
new file mode 100644
index 00000000..0aef8b14
Binary files /dev/null and b/dev/_odoc-theme/fonts/PTS55F.woff2 differ
diff --git a/dev/_odoc-theme/fonts/PTS56F.woff2 b/dev/_odoc-theme/fonts/PTS56F.woff2
new file mode 100644
index 00000000..2fd9d9af
Binary files /dev/null and b/dev/_odoc-theme/fonts/PTS56F.woff2 differ
diff --git a/dev/_odoc-theme/fonts/PTS75F.woff2 b/dev/_odoc-theme/fonts/PTS75F.woff2
new file mode 100644
index 00000000..a0fa7de3
Binary files /dev/null and b/dev/_odoc-theme/fonts/PTS75F.woff2 differ
diff --git a/dev/_odoc-theme/fonts/PTS76F.woff2 b/dev/_odoc-theme/fonts/PTS76F.woff2
new file mode 100644
index 00000000..8cae8e79
Binary files /dev/null and b/dev/_odoc-theme/fonts/PTS76F.woff2 differ
diff --git a/dev/_odoc-theme/fonts/fonts.css b/dev/_odoc-theme/fonts/fonts.css
new file mode 100644
index 00000000..9bffe8e8
--- /dev/null
+++ b/dev/_odoc-theme/fonts/fonts.css
@@ -0,0 +1,59 @@
+@charset "UTF-8";
+
+/* PT Sans */
+
+@font-face
+{ font-family: 'PT-Sans';
+ src: url('PTS55F.woff2') format('woff2');
+ font-weight: 400; font-style: normal; }
+
+@font-face
+{ font-family: 'PT-Sans';
+ src: url('PTS75F.woff2') format('woff2');
+ font-weight: 700; font-style: normal; }
+
+@font-face
+{ font-family: 'PT-Sans';
+ src: url('PTS56F.woff2') format('woff2');
+ font-weight: 400; font-style: italic; }
+
+@font-face
+{ font-family: 'PT-Sans';
+ src: url('PTS76F.woff2') format('woff2');
+ font-weight: 700; font-style: italic; }
+
+/* PT Sans caption */
+
+@font-face
+{ font-family: 'PT-Sans-Caption';
+ src: url('PTC55F.woff2') format('woff2');
+ font-weight: 400; font-style: normal; }
+
+@font-face
+{ font-family: 'PT-Sans-Caption';
+ src: url('PTC75F.woff2') format('woff2');
+ font-weight: 700; font-style: normal; }
+
+/* DejaVu 400 */
+
+@font-face
+{ font-family: 'DejaVu-SansMono';
+ src: url('DejaVuSansMono.woff2') format('woff2');
+ font-weight: 400; font-style: normal; }
+
+@font-face
+{ font-family: 'DejaVu-SansMono';
+ src: url('DejaVuSansMono-Oblique.woff2') format('woff2');
+ font-weight: 400; font-style: oblique; }
+
+/* DejaVu 700 */
+
+@font-face
+{ font-family: 'DejaVu-SansMono';
+ src: url('DejaVuSansMono-Bold.woff2') format('woff2');
+ font-weight: 700; font-style: normal; }
+
+@font-face
+{ font-family: 'DejaVu-SansMono';
+ src: url('DejaVuSansMono-BoldOblique.woff2') format('woff2');
+ font-weight: 700; font-style: oblique; }
diff --git a/dev/_odoc-theme/manual.css b/dev/_odoc-theme/manual.css
new file mode 100644
index 00000000..92a1b438
--- /dev/null
+++ b/dev/_odoc-theme/manual.css
@@ -0,0 +1,376 @@
+@charset "UTF-8";
+@import url("fonts/fonts.css");
+@import url("theme.css");
+
+/* Copyright (c) 2019 The odig programmers. All rights reserved.
+ Distributed under the ISC license, see terms at the end of the file.
+ odig v0.0.9 */
+
+:root { --font-headings: "PT-Sans-Caption";
+ --font-body: "PT-Sans";
+ --font-mono: "DejaVu-SansMono";
+
+ --size-font: 0.96875rem;
+ --size-font-micro: calc(0.675 * var(--size-font));
+ --size-font-tiny-ratio: 0.75;
+ --size-font-tiny: calc(var(--size-font-tiny-ratio) * var(--size-font));
+ --size-font-small: calc(0.875 * var(--size-font));
+ --size-font-large: calc(1.25 * var(--size-font));
+ --size-font-big: calc(1.5 * var(--size-font));
+ --size-font-huge: calc(1.75 * var(--size-font));
+ --size-font-mono-ratio: 0.87097;
+ --size-line-ratio: 1.5;
+ --size-line: calc(var(--size-line-ratio) * var(--size-font));
+ --size-half-line: calc(0.5 * var(--size-line)); }
+
+/* Reset a few things. */
+
+html,body,div,span,applet,object,iframe,h1,h2,h3,h4,h5,h6,p,blockquote,pre,
+a,abbr,acronym,address,big,cite,code,del,dfn,em,img,ins,kbd,q,s,samp,select,
+small,strike,strong,sub,sup,tt,var,b,u,i,center,dl,dt,dd,ol,ul,li,
+fieldset,form,label,legend,table,caption,tbody,tfoot,thead,tr,th,td,
+article,aside,canvas,details,embed,figure,figcaption,footer,header,hgroup,
+menu,nav,output,ruby,section,summary,time,mark,audio,video,button,input
+{ margin: 0; padding: 0; border: 0; /* outline: 0; */
+ font-size: inherit; font: inherit; font-weight: inherit;
+ line-height: inherit; vertical-align: baseline;
+ text-align: inherit; color: inherit; background: transparent; }
+
+table { border-collapse: collapse; border-spacing: 0; }
+*, *:before, *:After { box-sizing: border-box; }
+
+/* Note the stylesheet has quite hackish CSS selectors as the markup's
+ classification is sometimes a bit lacking. */
+
+/* Geometry.
+ See also media adjustements at the end of the stylesheet. */
+
+body { background-color: var(--color-bg);
+ color: var(--color-fg);
+ font-size: var(--size-font);
+ font-family: var(--font-body), sans-serif;
+ font-weight: 400;
+ line-height: var(--size-line);
+ text-align: left;
+ position: relative;
+ max-width: 120ch;
+ margin: 0 auto;
+ padding: calc(1.5 * var(--size-line));
+ padding-top: calc(0.5 * var(--size-line)); }
+
+body > * { max-width: 80ch; width: 75% }
+body > ul:first-of-type:not(.itemize):not(.ftoc2) /* toc */
+{ position: absolute;
+ top: 0px; right: 0px;
+ width: 20%;
+ margin-left: var(--size-line);
+ margin-top: calc(2 * var(--size-line));
+ margin-right: var(--size-line);
+ border-top: solid thin var(--color-rule); }
+
+/* Rules
+ We remove the top one, keep the last one and add one over h1 and h2 */
+
+body > hr:last-of-type {
+ margin-top: var(--size-line);
+ border-style: none;
+ width: 100%;
+ max-width: 100%;
+ text-align: right;
+ border-top: solid thin var(--color-rule); }
+
+body > hr:first-of-type { display: none } /* order with last-of-type imporant */
+h1, h2 { border-top: solid thin var(--color-rule) }
+
+/* Hacks */
+
+body > a > img /* Navigation arrows, a bit problematic for dark themes */
+{ display: inline-block; margin:0;
+ background-color: var(--color-code-block-bg); /* bof */ }
+
+body > p br, h1 br { display: none; } /* brs should die */
+
+/* Basic markup */
+
+h1, h2, h3, h4, h5, h6
+{ font-family: var(--font-headings), sans-serif;
+ font-weight: 400;
+ text-transform: uppercase;
+ margin-top: var(--size-line); }
+
+h1, h2 { line-height: calc(1.5 * var(--size-line));
+ padding-top: calc(0.75 * var(--size-line)); }
+
+hr + h1, hr + h2 { margin-top: calc(0.25 * var(--size-line)) }
+
+h1 { font-size: var(--size-font-huge); }
+h2 { font-size: var(--size-font-big); }
+h3 { font-size: var(--size-font-large); }
+
+div, nav, p, ol, ul, dl, pre, table, blockquote
+{ margin-top: var(--size-half-line); }
+
+ul, ol { list-style-position: outside }
+ul { list-style-type: square }
+ul > li { margin-left: 2.25ch; }
+ol > li { margin-left: 2ch; }
+
+em { font-style: italic }
+b, strong { font-weight: 700 }
+small { font-size: var(--size-font-small); }
+
+sup { vertical-align: super; }
+sub { vertical-align: sub; }
+sup, sub { font-size : calc(1em * var(--size-font-tiny-ratio));
+ line-height: 0; margin-left: 0.2ex; }
+
+img { display: block;
+ margin-top: var(--size-half-line); margin-bottom: var(--size-half-line); }
+
+blockquote { margin-left: var(--size-half-line); }
+
+/* Links and anchors. Note anchors need to be refined a bit further down
+ in certain cases. */
+
+a { text-decoration:none; color: var(--color-link); }
+a:hover { box-shadow:0 1px 0 0 var(--color-link); }
+a.anchor:before { content: "#" }
+a.anchor:hover { box-shadow: none; text-decoration: underline; }
+*:hover > a.anchor { visibility: visible }
+a.anchor
+{ visibility: hidden; position: absolute;
+ font-weight: normal;
+ font-style: normal;
+ margin-left: -2.5ch;
+ padding-right: 1ch; padding-left: 1ch; /* To remain selectable */
+ color: var(--color-link);
+ text-align: right;
+ }
+
+*:target /* Linked highlight */
+{ background-color: var(--color-bg-highlight);
+ box-shadow: 0 0 0 3px var(--color-bg-highlight) }
+
+/* Code and code highlighting */
+
+.c003, .c004, .c005, .c006, .c015,
+code, pre
+{ font-family: var(--font-mono), monospace;
+ font-weight: 400;
+ font-size: calc(1em * var(--size-font-mono-ratio));
+ color: var(--color-code-fg); }
+
+.c004, .c002 { color: var(--color-code-type-id); }
+.c005 { font-style: oblique }
+.c006 { font-weight: 700 }
+.c015 { text-align: left }
+
+pre .c003, pre .c004, pre .c005, pre .c006,
+pre code { font-size: inherit } /* don't apply transform twice... */
+a code { color: inherit }
+h1 code, h2 code, h3 code, h4 code, h5 code, h6 code { text-transform: none; }
+
+pre { background: var(--color-code-block-bg);
+ padding-left: 0.8ch; padding-right: 0.8ch;
+ margin-left: -0.8ch; margin-right: -0.8ch;
+ padding-top: 1ch; padding-bottom: 1ch;
+ white-space: pre-wrap;
+ word-wrap: break-word; }
+
+/* Table of contents, like in odoc.css except we don't have a class */
+
+body > ul:first-of-type:not(.itemize):not(.ftoc2)
+{ font-size: var(--size-font-small); }
+
+body > ul:first-of-type:not(.itemize):not(.ftoc2) a
+{ color : var(--color-fg); }
+
+body > ul:first-of-type:not(.itemize):not(.ftoc2) a:hover
+{ color : var(--color-link); }
+
+body > ul:first-of-type:not(.itemize):not(.ftoc2)
+{ font-family: var(--font-headings); text-transform: uppercase;
+ list-style-type: none; padding-top: var(--size-line) }
+
+body > ul:first-of-type:not(.itemize):not(.ftoc2) li
+{ margin-left: 0; padding-left: 3.25ch; text-indent: -3.25ch; }
+
+body > ul:first-of-type:not(.itemize):not(.ftoc2) ul
+{ font-family: var(--font-body);
+ text-transform: none;
+ margin-top:0; }
+
+/* toplevel examples */
+
+div.caml-example.toplevel div.caml-input::before { content: "#" }
+div.caml-input, div.caml-output { margin-top: 0; }
+
+.caml-input {}
+.caml-output { color: var(--color-code-string) /* why not */ }
+
+/* Other HeVeA classes */
+
+.c000 { border-spacing: 2ch; border-collapse: separate; margin: 0 auto; }
+.c001 { border-spacing: 1ch; border-collapse: separate }
+.c008 { font-size: var(--size-font-small) }
+.c009 { font-style:italic }
+.c010 { font-style:italic; color:var(--color-link) }
+.c011 { font-style:italic; font-weight:700 }
+.c012 { font-style:italic }
+.c013 { font-style:italic }
+.c018 { text-align: right }
+.c019 { text-align: left}
+.dcenter { margin: 0 auto; }
+.description { margin-left: var(--size-line) }
+.dd-description br { display: none }
+dd + dt { margin-top: var(--size-half-line) }
+
+dt .c003 { font-style:normal; font-weight:700 } /* options */
+
+.indexenv { list-style-type: none }
+.indexenv li { margin-left: 0 }
+
+/* Page specific */
+
+/* Cover page */
+
+div.maintitle > span > span
+{ text-transform: uppercase;
+ font-family: var(--font-headings);
+ line-height: var(--size-line-ratio);
+ font-size: calc(2.25 * var(--size-font)) !important;
+ margin-left: -0.25ch; /* compensate nbsp */ }
+
+div.maintitle > span > span > br { display: none }
+div.maintitle > span > span > span
+{ display: block;
+ text-transform: none;
+ font-style: italic;
+ font-family: var(--font-body);
+ font-size: var(--size-font-big) !important; }
+
+div.maintitle > span > span > span > span /* ugh */
+{ font-style: normal;
+ line-height: var(--size-line);
+ font-size: var(--size-font) !important; }
+
+div.maintitle > span > span > span > span > span /* ugh bis */
+{ font-size: var(--size-font-small) !important;
+ font-style: italic;
+ margin-left: -1.25ch; }
+
+div.maintitle + blockquote hr { display : none }
+div.maintitle + blockquote
+{ margin: 0;
+/* margin-top: calc(-1 * var(--size-line)); chrome but not FF, bah... */
+ font-size: var(--size-font-small);
+ border-bottom: solid thin var(--color-rule);
+ padding-bottom: var(--size-half-line); }
+
+div.maintitle ~ blockquote:last-of-type { display: none } /* remove branding */
+
+div.maintitle ~ ul:first-of-type:not(.itemize):not(.ftoc2) /* undo side toc */
+{ position: static;
+ padding: 0;
+ margin: 0; margin-top: var(--size-line);
+ width: 100%; }
+
+div.maintitle ~ br { display: none }
+div.maintitle ~ ul:first-of-type:not(.itemize):not(.ftoc2) > li { margin: 0; }
+div.maintitle ~ ul:first-of-type:not(.itemize):not(.ftoc2) a
+{ color: var(--color-link) }
+
+div.maintitle ~ table { margin-top: 0 }
+div.maintitle ~ ul:first-of-type:not(.itemize):not(.ftoc2)
+{ list-style-type: none;
+ font-family: inherit; text-transform: inherit;
+ font-size: inherit;
+ margin-top: var(--size-half-line);
+ border: none; }
+
+div.maintitle ~ ul { list-style-type: none }
+div.maintitle ~ ul li { margin-left: 0 }
+
+/* Contents page */
+
+h1#sec1 + ul:first-of-type /* undo side toc */
+{ position: static;
+ list-style-type: none;
+ margin: 0; margin-top: var(--size-half-line);
+ width: 100%; border: none; padding: 0;
+ font-size: var(--size-font-big); }
+
+h1#sec1 + ul:first-of-type li
+{ margin-left: 0; padding-left: 0; text-indent: 0 }
+
+h1#sec1 ~ ul ul
+{ list-style-type: none; font-size: var(--size-font-large); font-style: italic;}
+
+h1#sec1 ~ ul ul ul
+{ font-size: var(--size-font); font-style: normal;
+ margin-top: var(--size-half-line); }
+
+h1#sec1 ~ ul ul ul ul { margin-left: 2.5ch; margin-top: 0;}
+h1#sec1 ~ ul > li { margin-top: var(--size-line); }
+h1#sec1 ~ ul > li > ul > li { margin-top: var(--size-half-line); }
+
+/* Media adjustments */
+
+@media only screen and (min-width:160ch) /* and (min-height: 60rem) */
+{
+:root { --size-font: 1.125rem; } /* consider using vmin units */
+}
+
+@media only screen and (max-width:80ch)
+{
+ body { padding: var(--size-line); }
+ body > * { width: 100%; }
+ body > ul:first-of-type:not(.itemize):not(.ftoc2)
+ { position: static;
+ margin: 0; margin-top: var(--size-line);
+ width: 100%; }
+ pre { font-size: var(--size-font-tiny); }
+}
+
+@media print
+{
+ * { -webkit-print-color-adjust: exact; }
+ .content nav:first-child { visibility: hidden }
+ body > * { width: 100%; }
+ body > ul:first-of-type:not(.itemize):not(.ftoc2)
+ { position: static; width: 100%;
+ margin: 0; margin-top: var(--size-line); }
+
+ /* odig.light with slight adjustements */
+ :root
+ { --color-bg: white;
+ --color-bg-highlight: #CAD7EF;
+ --color-fg: black;
+ --color-rule: #DADBDB;
+
+ --color-code-block-bg: #E8E8E8;
+ --color-code-fg: #16191D;
+ --color-code-comment: #747679;
+ --color-code-keyword: #874aa9;
+ --color-code-type-id: #a9874a;
+ --color-code-string: #4aa987;
+
+ --color-link: #557dcc;
+ --color-broken-link: #f71414; }
+}
+
+/*
+Copyright (c) 2019 The odig programmers
+
+Permission to use, copy, modify, and/or distribute this software for any
+purpose with or without fee is hereby granted, provided that the above
+copyright notice and this permission notice appear in all copies.
+
+THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
+WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
+MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
+ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
+WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
+ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
+OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
+*/
diff --git a/dev/_odoc-theme/odoc.css b/dev/_odoc-theme/odoc.css
new file mode 100644
index 00000000..1dbc9da2
--- /dev/null
+++ b/dev/_odoc-theme/odoc.css
@@ -0,0 +1,334 @@
+@charset "UTF-8";
+@import url("fonts/fonts.css");
+@import url("theme.css");
+
+/* Copyright (c) 2019 The odig programmers. All rights reserved.
+ Distributed under the ISC license, see terms at the end of the file. */
+
+/* Reset a few things. */
+
+html,body,div,span,applet,object,iframe,h1,h2,h3,h4,h5,h6,p,blockquote,pre,
+a,abbr,acronym,address,big,cite,code,del,dfn,em,img,ins,kbd,q,s,samp,select,
+small,strike,strong,sub,sup,tt,var,b,u,i,center,dl,dt,dd,ol,ul,li,
+fieldset,form,label,legend,table,caption,tbody,tfoot,thead,tr,th,td,
+article,aside,canvas,details,embed,figure,figcaption,footer,header,hgroup,
+menu,nav,output,ruby,section,summary,time,mark,audio,video,button,input
+{ margin: 0; padding: 0; border: 0; /* outline: 0; */
+ font-size: inherit; font: inherit; font-weight: inherit;
+ line-height: inherit; vertical-align: baseline;
+ text-align: inherit; color: inherit; background: transparent; }
+
+table { border-collapse: collapse; border-spacing: 0; }
+*, *:before, *:after { box-sizing: border-box; }
+
+/* Basic geometry */
+
+:root { --font-headings: "PT-Sans-Caption";
+ --font-body: "PT-Sans";
+ --font-mono: "DejaVu-SansMono";
+ --size-font: 0.96875rem;
+ --size-font-micro: calc(0.675 * var(--size-font));
+ --size-font-tiny-ratio: 0.75;
+ --size-font-tiny: calc(var(--size-font-tiny-ratio) * var(--size-font));
+ --size-font-small: calc(0.875 * var(--size-font));
+ --size-font-large: calc(1.25 * var(--size-font));
+ --size-font-big: calc(1.5 * var(--size-font));
+ --size-font-huge: calc(1.75 * var(--size-font));
+ --size-font-mono-ratio: 0.87097;
+ --size-font-mono-ratio: 0.865;
+ --size-line-ratio: 1.5;
+ --size-line: calc(var(--size-line-ratio) * var(--size-font));
+ --size-half-line: calc(0.5 * var(--size-line));
+ --size-fourth-line: calc(0.25 * var(--size-line)); }
+
+.odoc { background-color: var(--color-bg);
+ color: var(--color-fg);
+ font-size: var(--size-font);
+ font-family: var(--font-body), sans-serif;
+ font-weight: 400;
+ line-height: var(--size-line);
+ text-align: left;
+ display: grid;
+ margin: 0 auto;
+ max-width: 130ch;
+ grid-template-columns: minmax(50ch,76ch) minmax(23ch,1fr);
+ grid-column-gap: calc(2 * var(--size-line));
+ grid-template-areas: "nav nav"
+ "header toc"
+ "content toc";
+ padding: calc(1.5 * var(--size-line));
+ padding-top: calc(0.5 * var(--size-line)); }
+
+.odoc-nav { grid-area: nav; }
+.odoc-preamble { grid-area: header; }
+.odoc-content { grid-area: content; margin: 0 }
+.odoc-toc
+{ grid-area: toc;
+ margin-top: var(--size-line);
+ border-top: solid thin var(--color-rule); }
+
+/* Media adjustments */
+
+@media only screen and (min-width:160ch) /* and (min-height: 60rem) */
+{
+ :root { --size-font: 1.125rem; } /* consider using vmin units */
+}
+
+@media only screen and (max-width:80ch) /* Basically mobile */
+{
+ .odoc
+ { padding: var(--size-line);
+ grid-template-columns: auto;
+ grid-template-rows: none;
+ grid-template-areas: "nav"
+ "header"
+ "toc"
+ "content"; }
+ .odoc-toc { margin: 0; margin-top: var(--size-line); }
+ pre { font-size: var(--size-font-tiny); }
+}
+
+@media print
+{
+ * { -webkit-print-color-adjust: exact; }
+ .odoc-nav { visibility: hidden }
+ .odoc-toc { margin: 0; margin-top: var(--size-line); }
+
+ /* odig.light with slight adjustements */
+ :root
+ { --color-bg: white;
+ --color-bg-highlight: #CAD7EF;
+ --color-fg: black;
+ --color-rule: #DADBDB;
+
+ --color-code-block-bg: #E8E8E8;
+ --color-code-fg: #16191D;
+ --color-code-comment: #747679;
+ --color-code-keyword: #874aa9;
+ --color-code-type-id: #a9874a;
+ --color-code-string: #4aa987;
+
+ --color-link: #557dcc;
+ --color-broken-link: #f71414; }
+}
+
+/* Block level markup */
+
+header > * + *, div > * + *, details > * + *
+{ margin-top: var(--size-half-line); }
+
+ul + * , ol + * { margin-top: 0; }
+ul, ol { margin-top: var(--size-fourth-line);
+ margin-bottom: var(--size-fourth-line);
+ list-style-position: outside; }
+
+li *:first-child, li ol, li ul { margin-top: 0; }
+
+ul { list-style-type: square; }
+ul > li { margin-left: 2.25ch; }
+ol > li { margin-left: 2ch; }
+ol li::marker
+{ font-family: var(--font-headings), sans-serif;
+ font-size: var(--size-font-small); }
+
+img
+{ display: block;
+ margin-top: var(--size-half-line);
+ margin-bottom: var(--size-half-line); }
+
+/* Headings and horizontal rulers */
+
+h1, h2, .odoc-content > *:first-child
+{ border-top: solid thin var(--color-rule);
+ padding-top: calc(0.75 * var(--size-line));
+ margin-top: var(--size-line); }
+
+h1, h2, h3, h4, h5, h6
+{ font-family: var(--font-headings), sans-serif;
+ font-weight: 400;
+ text-transform: uppercase;
+ margin-top: var(--size-line); }
+
+h1, h2 { line-height: calc(1.5 * var(--size-line)); }
+h1 { font-size: var(--size-font-huge); }
+h2 { font-size: var(--size-font-big); }
+h3 { font-size: var(--size-font-large); }
+
+/* Phrasing content */
+
+em { font-style: italic }
+b, strong { font-weight: 700 }
+small { font-size: var(--size-font-small); }
+
+sup { vertical-align: super; }
+sub { vertical-align: sub; }
+sup, sub
+{ font-size : calc(1em * var(--size-font-tiny-ratio));
+ line-height: 0; margin-left: 0.2ex; }
+
+/* Code and code highlighting */
+
+code, pre
+{ font-family: var(--font-mono), monospace;
+ font-weight: 400;
+ font-size: calc(1em * var(--size-font-mono-ratio));
+ color: var(--color-code-fg);
+ overflow-wrap: anywhere; }
+
+code span span { white-space: nowrap } /* Do not break these units */
+
+pre code { font-size: inherit } /* don't apply transform twice... */
+a code { color: inherit }
+h1 code, h2 code, h3 code, h4 code, h5 code, h6 code { text-transform: none; }
+
+pre
+{ background: var(--color-code-block-bg);
+ padding-left: 0.8ch; padding-right: 0.8ch;
+ margin-left: -0.8ch; margin-right: -0.8ch;
+ padding-top: 1ch; padding-bottom: 1ch;
+ white-space: pre-wrap;
+ overflow-wrap: break-word; }
+
+.arrow { white-space: nowrap }
+.keyword , .hljs-keyword { color : var(--color-code-keyword); }
+.hljs-type { color : var(--color-code-type-id); }
+.hljs-string { color : var(--color-code-string); }
+.hljs-comment { color : var(--color-code-comment); font-style: italic; }
+
+/* Links and anchors. Note anchors need to be refined a bit further down
+ in certain cases. */
+
+a { text-decoration:none; color: var(--color-link); }
+a:hover { box-shadow:0 1px 0 0 var(--color-link); }
+a.anchor:before { content: "#" }
+a.anchor:hover { box-shadow: none; text-decoration: underline; }
+*:hover > a.anchor { visibility: visible }
+a.anchor
+{ visibility: hidden; position: absolute;
+ font-weight: normal;
+ font-style: normal;
+ margin-left: -2.5ch;
+ padding-right: 1ch; padding-left: 1ch; /* To remain selectable */
+ color: var(--color-link);
+ text-align: right; }
+
+*:target /* Linked highlight */
+{ background-color: var(--color-bg-highlight);
+ box-shadow: 0 0 0 3px var(--color-bg-highlight) }
+
+.xref-unresolved { box-shadow:0 1px 0 0 var(--color-broken-link)}
+
+/* Table of contents */
+
+.odoc-toc { font-size: var(--size-font-small); }
+.odoc-toc a { color : var(--color-fg); }
+.odoc-toc a:hover { color : var(--color-link) }
+.odoc-toc ul
+{ font-family: var(--font-headings); text-transform: uppercase;
+ margin-top: var(--size-line);
+ list-style-type: none; }
+
+.odoc-toc ul ul
+{ font-family: var(--font-body); text-transform: none; margin-top:0; }
+
+.odoc-toc ul ul ul { margin-left:1.5ch }
+.odoc-toc li { margin-left: 0; padding-left: 1ch; text-indent: -1ch; }
+.odoc-toc > ul > li { margin-top: calc(0.25 * var(--size-half-line)) }
+.odoc-toc > ul > li > ul > li:last-child
+{ margin-bottom: var(--size-half-line) }
+
+.odoc-toc ul ul li { margin-left: 0; padding-left: 0; }
+
+/* Module structure items */
+
+.odoc-spec { padding-bottom: var(--size-fourth-line); }
+.spec { margin-top: 0; }
+.spec-doc { margin-top:0; padding-left: 1ch; }
+.spec-doc > *:first-child { margin-top: 0 }
+
+/* Indent on wrap */
+.spec, .spec td:first-child { padding-left: 4ch; text-indent: -4ch }
+.spec td.field { padding-left: 6ch }
+
+.spec .def-doc .comment-delim + * { margin-top: 0 }
+.spec .def-doc .comment-delim /* make them invisible yet copy-pastable */
+{ position: absolute; width: 1px; height: 1px; overflow: hidden; }
+
+/* But we don't do it for types for now because of variants and
+ records. This makes :target highlight be off. And poses
+ other problems (e.g. need to indent back the last ] or }.
+ A better markup strategy should be found here. */
+.spec.type { padding-left: 0; text-indent: 0 }
+.spec.type > a.anchor
+{ padding-left: 1ch; padding-right: 1ch; /* values from a.anchor */ }
+.spec li > a.anchor, .spec > a.anchor
+{ padding-right: 0.5ch; padding-left: 2ch; }
+
+.spec ol { margin:0; list-style-type: none; }
+.spec li { margin-left: 0; padding-left: 4ch; text-indent: -4ch }
+.spec li.record.field { margin-left: 2ch }
+
+.spec .def-doc { display: inline-block }
+.spec .def-doc { padding-left: /* 4 + 3 */ 7ch; }
+.spec .def-doc p { margin-left: -4ch; text-indent: 0 }
+
+.odoc-include summary { cursor: pointer }
+
+/* Package, module and @tag lists
+
+ Allowing indent on wrap with the anchor makes all this quite convoluted.
+ Is there a better way ? */
+
+.packages, .modules, .at-tags { list-style-type: none; margin-left: -2ch; }
+.packages li, .modules li, .at-tags li { padding-left: 2ch; text-indent: -2ch; }
+.modules li a.anchor, .packages li a.anchor
+{ padding-right: 0.5ch; padding-left: 2ch; }
+
+.synopsis { padding-left: 1ch; }
+.version { font-size: var(--size-font-micro); }
+.at-tag { text-transform : capitalize }
+
+/* Package page */
+
+h1 .version, h1 nav { font-size: var(--size-font); line-height:0 }
+h1 nav
+{ display: inline-block;
+ font-family: var(--font-body);
+ text-transform: capitalize; }
+
+.package.info td:first-child { padding-right: 2ch; min-width: 13ch}
+.package.info ul { list-style-type: none; display: inline; margin:0; padding:0}
+.package.info li { display: inline-block; margin:0; margin-right:1ex; }
+#info-authors li, #info-maintainers li { display: block; }
+
+/* Package index page */
+
+.by-name nav a
+{ font-family: var(--font-headings);
+ font-size: var(--size-font-large);
+ text-transform: uppercase;
+ margin-right: 1ch;
+ display: inline-block; }
+
+.by-tag ol { list-style-type: none; }
+.by-tag ol.tags li { margin-left: 1ch; display: inline-block }
+.by-tag td:first-child
+{ font-family: var(--font-headings);
+ font-size: var(--size-font-large);
+ text-transform: uppercase; }
+
+/*
+Copyright (c) 2019 The odig programmers
+
+Permission to use, copy, modify, and/or distribute this software for any
+purpose with or without fee is hereby granted, provided that the above
+copyright notice and this permission notice appear in all copies.
+
+THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
+WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
+MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
+ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
+WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
+ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
+OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
+*/
diff --git a/dev/_odoc-theme/theme.css b/dev/_odoc-theme/theme.css
new file mode 100644
index 00000000..a7a8e6b8
--- /dev/null
+++ b/dev/_odoc-theme/theme.css
@@ -0,0 +1,34 @@
+:root
+{ --color-bg: #F6F6F6;
+ --color-bg-highlight: #CAD7EF;
+ --color-fg: #1F2227;
+ --color-rule: #DADBDB;
+
+ --color-code-block-bg: #E8E8E8;
+ --color-code-fg: #16191D;
+ --color-code-comment: #747679;
+ --color-code-keyword: #874aa9;
+ --color-code-type-id: #a9874a;
+ --color-code-string: #4aa987;
+
+ --color-link: #557dcc;
+ --color-broken-link: #f71414; }
+
+@media (prefers-color-scheme: dark)
+{
+:root
+{ --color-bg: #181B20;
+ --color-bg-highlight: #303644;
+ --color-fg: #8C8D90;
+ --color-rule: #2F3236;
+
+ --color-code-block-bg: #24272A;
+ --color-code-fg: #A3A4A6;
+ --color-code-comment: #747679;
+ --color-code-keyword: #7F668D;
+ --color-code-type-id: #8D7F66;
+ --color-code-string: #668d7f;
+
+ --color-link: #7788AA;
+ --color-broken-link: #900505; }
+}
diff --git a/dev/either/Either/index.html b/dev/either/Either/index.html
new file mode 100644
index 00000000..f4fbd7b2
--- /dev/null
+++ b/dev/either/Either/index.html
@@ -0,0 +1,16 @@
+
+
Either (either.Either) Up – either » EitherThis module defines the common Either interface that is provided for all OCaml versions. For documentation of these functions, refer to the standard library.
val left : 'a -> ('a , 'b ) t val right : 'b -> ('a , 'b ) t val is_left : ('a , 'b ) t -> boolval is_right : ('a , 'b ) t -> boolval find_left : ('a , 'b ) t -> 'a optionval find_right : ('a , 'b ) t -> 'b optionval map_left : ('a1 -> 'a2 ) -> ('a1 , 'b ) t -> ('a2 , 'b ) t val map_right : ('b1 -> 'b2 ) -> ('a , 'b1 ) t -> ('a , 'b2 ) t val map :
+ left:('a1 -> 'a2 ) ->
+ right:('b1 -> 'b2 ) ->
+ ('a1 , 'b1 ) t ->
+ ('a2 , 'b2 ) t val fold : left:('a -> 'c ) -> right:('b -> 'c ) -> ('a , 'b ) t -> 'c val iter : left:('a -> unit) -> right:('b -> unit) -> ('a , 'b ) t -> unitval for_all : left:('a -> bool) -> right:('b -> bool) -> ('a , 'b ) t -> boolval equal :
+ left:('a -> 'a -> bool) ->
+ right:('b -> 'b -> bool) ->
+ ('a , 'b ) t ->
+ ('a , 'b ) t ->
+ boolval compare :
+ left:('a -> 'a -> int) ->
+ right:('b -> 'b -> int) ->
+ ('a , 'b ) t ->
+ ('a , 'b ) t ->
+ int
\ No newline at end of file
diff --git a/dev/either/Either__/index.html b/dev/either/Either__/index.html
new file mode 100644
index 00000000..1b9d910b
--- /dev/null
+++ b/dev/either/Either__/index.html
@@ -0,0 +1,2 @@
+
+Either__ (either.Either__) Up – either » Either__
\ No newline at end of file
diff --git a/dev/either/Either__Either_intf/index.html b/dev/either/Either__Either_intf/index.html
new file mode 100644
index 00000000..572dae8d
--- /dev/null
+++ b/dev/either/Either__Either_intf/index.html
@@ -0,0 +1,2 @@
+
+Either__Either_intf (either.Either__Either_intf) Up – either » Either__Either_intfModule Either__Either_intf
\ No newline at end of file
diff --git a/dev/either/_doc-dir/CHANGES.md b/dev/either/_doc-dir/CHANGES.md
new file mode 100644
index 00000000..9db970fc
--- /dev/null
+++ b/dev/either/_doc-dir/CHANGES.md
@@ -0,0 +1,3 @@
+### 1.0.0 (2020-11-18)
+
+Initial release.
diff --git a/dev/either/_doc-dir/LICENSE b/dev/either/_doc-dir/LICENSE
new file mode 100644
index 00000000..dddf046a
--- /dev/null
+++ b/dev/either/_doc-dir/LICENSE
@@ -0,0 +1,21 @@
+The MIT License
+
+Copyright (c) 2020 Craig Ferguson
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.
diff --git a/dev/either/_doc-dir/README.md b/dev/either/_doc-dir/README.md
new file mode 100644
index 00000000..175f4569
--- /dev/null
+++ b/dev/either/_doc-dir/README.md
@@ -0,0 +1,36 @@
+## Compatibility `Either` module
+[![OCaml-CI Build Status][ci-badge]][ci-status]
+[][docs]
+
+Projects that want to use the `Either` module defined in OCaml 4.12.0 while
+staying compatible with older versions of OCaml should use this library
+instead. On OCaml versions 4.12 and above, this library defines an alias
+`Either` to the standard library's definition of the module. Otherwise, it
+provides an equivalent definition of `Either`.
+
+[ci-status]: https://ci.ocamllabs.io/github/mirage/either
+[ci-badge]: https://img.shields.io/endpoint?url=https%3A%2F%2Fci.ocamllabs.io%2Fbadge%2Fmirage%2Feither%2Fmain&logo=ocaml
+[docs]: https://docs.mirage.io/either/either/index.html
+
+#### Depending on this library
+
+Opam libraries depending on this module are encouraged to use a conditional
+dependency:
+
+```
+depends: [
+ ("ocaml" {>= "4.12.0"} | "either")
+]
+```
+
+This ensures that any dependencies of your library that _don't_ need pre-4.12
+compatibility will never transitively depend on `either`.
+
+
+
+#### Acknowledgements
+
+This repository structure is mostly copied from
+[`JaneStreet/result`](https://github.com/janestreet/result), which provides a
+compatibility `result` type. Thanks to the OCaml maintainers for their
+improvements to the standard library.
diff --git a/dev/either/index.html b/dev/either/index.html
new file mode 100644
index 00000000..65b7c38d
--- /dev/null
+++ b/dev/either/index.html
@@ -0,0 +1,2 @@
+
+index (either.index) Up – either Package info changes-files license-files readme-files
\ No newline at end of file
diff --git a/dev/fonts/KaTeX_AMS-Regular.woff2 b/dev/fonts/KaTeX_AMS-Regular.woff2
new file mode 100644
index 00000000..0acaaff0
Binary files /dev/null and b/dev/fonts/KaTeX_AMS-Regular.woff2 differ
diff --git a/dev/fonts/KaTeX_Caligraphic-Bold.woff2 b/dev/fonts/KaTeX_Caligraphic-Bold.woff2
new file mode 100644
index 00000000..f390922e
Binary files /dev/null and b/dev/fonts/KaTeX_Caligraphic-Bold.woff2 differ
diff --git a/dev/fonts/KaTeX_Caligraphic-Regular.woff2 b/dev/fonts/KaTeX_Caligraphic-Regular.woff2
new file mode 100644
index 00000000..75344a1f
Binary files /dev/null and b/dev/fonts/KaTeX_Caligraphic-Regular.woff2 differ
diff --git a/dev/fonts/KaTeX_Fraktur-Bold.woff2 b/dev/fonts/KaTeX_Fraktur-Bold.woff2
new file mode 100644
index 00000000..395f28be
Binary files /dev/null and b/dev/fonts/KaTeX_Fraktur-Bold.woff2 differ
diff --git a/dev/fonts/KaTeX_Fraktur-Regular.woff2 b/dev/fonts/KaTeX_Fraktur-Regular.woff2
new file mode 100644
index 00000000..735f6948
Binary files /dev/null and b/dev/fonts/KaTeX_Fraktur-Regular.woff2 differ
diff --git a/dev/fonts/KaTeX_Main-Bold.woff2 b/dev/fonts/KaTeX_Main-Bold.woff2
new file mode 100644
index 00000000..ab2ad21d
Binary files /dev/null and b/dev/fonts/KaTeX_Main-Bold.woff2 differ
diff --git a/dev/fonts/KaTeX_Main-BoldItalic.woff2 b/dev/fonts/KaTeX_Main-BoldItalic.woff2
new file mode 100644
index 00000000..5931794d
Binary files /dev/null and b/dev/fonts/KaTeX_Main-BoldItalic.woff2 differ
diff --git a/dev/fonts/KaTeX_Main-Italic.woff2 b/dev/fonts/KaTeX_Main-Italic.woff2
new file mode 100644
index 00000000..b50920e1
Binary files /dev/null and b/dev/fonts/KaTeX_Main-Italic.woff2 differ
diff --git a/dev/fonts/KaTeX_Main-Regular.woff2 b/dev/fonts/KaTeX_Main-Regular.woff2
new file mode 100644
index 00000000..eb24a7ba
Binary files /dev/null and b/dev/fonts/KaTeX_Main-Regular.woff2 differ
diff --git a/dev/fonts/KaTeX_Math-BoldItalic.woff2 b/dev/fonts/KaTeX_Math-BoldItalic.woff2
new file mode 100644
index 00000000..29657023
Binary files /dev/null and b/dev/fonts/KaTeX_Math-BoldItalic.woff2 differ
diff --git a/dev/fonts/KaTeX_Math-Italic.woff2 b/dev/fonts/KaTeX_Math-Italic.woff2
new file mode 100644
index 00000000..215c143f
Binary files /dev/null and b/dev/fonts/KaTeX_Math-Italic.woff2 differ
diff --git a/dev/fonts/KaTeX_SansSerif-Bold.woff2 b/dev/fonts/KaTeX_SansSerif-Bold.woff2
new file mode 100644
index 00000000..cfaa3bda
Binary files /dev/null and b/dev/fonts/KaTeX_SansSerif-Bold.woff2 differ
diff --git a/dev/fonts/KaTeX_SansSerif-Italic.woff2 b/dev/fonts/KaTeX_SansSerif-Italic.woff2
new file mode 100644
index 00000000..349c06dc
Binary files /dev/null and b/dev/fonts/KaTeX_SansSerif-Italic.woff2 differ
diff --git a/dev/fonts/KaTeX_SansSerif-Regular.woff2 b/dev/fonts/KaTeX_SansSerif-Regular.woff2
new file mode 100644
index 00000000..a90eea85
Binary files /dev/null and b/dev/fonts/KaTeX_SansSerif-Regular.woff2 differ
diff --git a/dev/fonts/KaTeX_Script-Regular.woff2 b/dev/fonts/KaTeX_Script-Regular.woff2
new file mode 100644
index 00000000..b3048fc1
Binary files /dev/null and b/dev/fonts/KaTeX_Script-Regular.woff2 differ
diff --git a/dev/fonts/KaTeX_Size1-Regular.woff2 b/dev/fonts/KaTeX_Size1-Regular.woff2
new file mode 100644
index 00000000..c5a8462f
Binary files /dev/null and b/dev/fonts/KaTeX_Size1-Regular.woff2 differ
diff --git a/dev/fonts/KaTeX_Size2-Regular.woff2 b/dev/fonts/KaTeX_Size2-Regular.woff2
new file mode 100644
index 00000000..e1bccfe2
Binary files /dev/null and b/dev/fonts/KaTeX_Size2-Regular.woff2 differ
diff --git a/dev/fonts/KaTeX_Size3-Regular.woff2 b/dev/fonts/KaTeX_Size3-Regular.woff2
new file mode 100644
index 00000000..249a2866
Binary files /dev/null and b/dev/fonts/KaTeX_Size3-Regular.woff2 differ
diff --git a/dev/fonts/KaTeX_Size4-Regular.woff2 b/dev/fonts/KaTeX_Size4-Regular.woff2
new file mode 100644
index 00000000..680c1308
Binary files /dev/null and b/dev/fonts/KaTeX_Size4-Regular.woff2 differ
diff --git a/dev/fonts/KaTeX_Typewriter-Regular.woff2 b/dev/fonts/KaTeX_Typewriter-Regular.woff2
new file mode 100644
index 00000000..771f1af7
Binary files /dev/null and b/dev/fonts/KaTeX_Typewriter-Regular.woff2 differ
diff --git a/dev/highlight.pack.js b/dev/highlight.pack.js
new file mode 100644
index 00000000..a3731597
--- /dev/null
+++ b/dev/highlight.pack.js
@@ -0,0 +1,461 @@
+/*!
+ Highlight.js v11.7.0 (git: 82688fad18)
+ (c) 2006-2022 undefined and other contributors
+ License: BSD-3-Clause
+ */
+var hljs=function(){"use strict";var e={exports:{}};function t(e){
+return e instanceof Map?e.clear=e.delete=e.set=()=>{
+throw Error("map is read-only")}:e instanceof Set&&(e.add=e.clear=e.delete=()=>{
+throw Error("set is read-only")
+}),Object.freeze(e),Object.getOwnPropertyNames(e).forEach((n=>{var i=e[n]
+;"object"!=typeof i||Object.isFrozen(i)||t(i)})),e}
+e.exports=t,e.exports.default=t;class n{constructor(e){
+void 0===e.data&&(e.data={}),this.data=e.data,this.isMatchIgnored=!1}
+ignoreMatch(){this.isMatchIgnored=!0}}function i(e){
+return e.replace(/&/g,"&").replace(//g,">").replace(/"/g,""").replace(/'/g,"'")
+}function r(e,...t){const n=Object.create(null);for(const t in e)n[t]=e[t]
+;return t.forEach((e=>{for(const t in e)n[t]=e[t]})),n}
+const s=e=>!!e.scope||e.sublanguage&&e.language;class o{constructor(e,t){
+this.buffer="",this.classPrefix=t.classPrefix,e.walk(this)}addText(e){
+this.buffer+=i(e)}openNode(e){if(!s(e))return;let t=""
+;t=e.sublanguage?"language-"+e.language:((e,{prefix:t})=>{if(e.includes(".")){
+const n=e.split(".")
+;return[`${t}${n.shift()}`,...n.map(((e,t)=>`${e}${"_".repeat(t+1)}`))].join(" ")
+}return`${t}${e}`})(e.scope,{prefix:this.classPrefix}),this.span(t)}
+closeNode(e){s(e)&&(this.buffer+="")}value(){return this.buffer}span(e){
+this.buffer+=``}}const a=(e={})=>{const t={children:[]}
+;return Object.assign(t,e),t};class c{constructor(){
+this.rootNode=a(),this.stack=[this.rootNode]}get top(){
+return this.stack[this.stack.length-1]}get root(){return this.rootNode}add(e){
+this.top.children.push(e)}openNode(e){const t=a({scope:e})
+;this.add(t),this.stack.push(t)}closeNode(){
+if(this.stack.length>1)return this.stack.pop()}closeAllNodes(){
+for(;this.closeNode(););}toJSON(){return JSON.stringify(this.rootNode,null,4)}
+walk(e){return this.constructor._walk(e,this.rootNode)}static _walk(e,t){
+return"string"==typeof t?e.addText(t):t.children&&(e.openNode(t),
+t.children.forEach((t=>this._walk(e,t))),e.closeNode(t)),e}static _collapse(e){
+"string"!=typeof e&&e.children&&(e.children.every((e=>"string"==typeof e))?e.children=[e.children.join("")]:e.children.forEach((e=>{
+c._collapse(e)})))}}class l extends c{constructor(e){super(),this.options=e}
+addKeyword(e,t){""!==e&&(this.openNode(t),this.addText(e),this.closeNode())}
+addText(e){""!==e&&this.add(e)}addSublanguage(e,t){const n=e.root
+;n.sublanguage=!0,n.language=t,this.add(n)}toHTML(){
+return new o(this,this.options).value()}finalize(){return!0}}function g(e){
+return e?"string"==typeof e?e:e.source:null}function d(e){return p("(?=",e,")")}
+function u(e){return p("(?:",e,")*")}function h(e){return p("(?:",e,")?")}
+function p(...e){return e.map((e=>g(e))).join("")}function f(...e){const t=(e=>{
+const t=e[e.length-1]
+;return"object"==typeof t&&t.constructor===Object?(e.splice(e.length-1,1),t):{}
+})(e);return"("+(t.capture?"":"?:")+e.map((e=>g(e))).join("|")+")"}
+function b(e){return RegExp(e.toString()+"|").exec("").length-1}
+const m=/\[(?:[^\\\]]|\\.)*\]|\(\??|\\([1-9][0-9]*)|\\./
+;function E(e,{joinWith:t}){let n=0;return e.map((e=>{n+=1;const t=n
+;let i=g(e),r="";for(;i.length>0;){const e=m.exec(i);if(!e){r+=i;break}
+r+=i.substring(0,e.index),
+i=i.substring(e.index+e[0].length),"\\"===e[0][0]&&e[1]?r+="\\"+(Number(e[1])+t):(r+=e[0],
+"("===e[0]&&n++)}return r})).map((e=>`(${e})`)).join(t)}
+const x="[a-zA-Z]\\w*",w="[a-zA-Z_]\\w*",y="\\b\\d+(\\.\\d+)?",_="(-?)(\\b0[xX][a-fA-F0-9]+|(\\b\\d+(\\.\\d*)?|\\.\\d+)([eE][-+]?\\d+)?)",O="\\b(0b[01]+)",v={
+begin:"\\\\[\\s\\S]",relevance:0},N={scope:"string",begin:"'",end:"'",
+illegal:"\\n",contains:[v]},k={scope:"string",begin:'"',end:'"',illegal:"\\n",
+contains:[v]},M=(e,t,n={})=>{const i=r({scope:"comment",begin:e,end:t,
+contains:[]},n);i.contains.push({scope:"doctag",
+begin:"[ ]*(?=(TODO|FIXME|NOTE|BUG|OPTIMIZE|HACK|XXX):)",
+end:/(TODO|FIXME|NOTE|BUG|OPTIMIZE|HACK|XXX):/,excludeBegin:!0,relevance:0})
+;const s=f("I","a","is","so","us","to","at","if","in","it","on",/[A-Za-z]+['](d|ve|re|ll|t|s|n)/,/[A-Za-z]+[-][a-z]+/,/[A-Za-z][a-z]{2,}/)
+;return i.contains.push({begin:p(/[ ]+/,"(",s,/[.]?[:]?([.][ ]|[ ])/,"){3}")}),i
+},S=M("//","$"),R=M("/\\*","\\*/"),j=M("#","$");var A=Object.freeze({
+__proto__:null,MATCH_NOTHING_RE:/\b\B/,IDENT_RE:x,UNDERSCORE_IDENT_RE:w,
+NUMBER_RE:y,C_NUMBER_RE:_,BINARY_NUMBER_RE:O,
+RE_STARTERS_RE:"!|!=|!==|%|%=|&|&&|&=|\\*|\\*=|\\+|\\+=|,|-|-=|/=|/|:|;|<<|<<=|<=|<|===|==|=|>>>=|>>=|>=|>>>|>>|>|\\?|\\[|\\{|\\(|\\^|\\^=|\\||\\|=|\\|\\||~",
+SHEBANG:(e={})=>{const t=/^#![ ]*\//
+;return e.binary&&(e.begin=p(t,/.*\b/,e.binary,/\b.*/)),r({scope:"meta",begin:t,
+end:/$/,relevance:0,"on:begin":(e,t)=>{0!==e.index&&t.ignoreMatch()}},e)},
+BACKSLASH_ESCAPE:v,APOS_STRING_MODE:N,QUOTE_STRING_MODE:k,PHRASAL_WORDS_MODE:{
+begin:/\b(a|an|the|are|I'm|isn't|don't|doesn't|won't|but|just|should|pretty|simply|enough|gonna|going|wtf|so|such|will|you|your|they|like|more)\b/
+},COMMENT:M,C_LINE_COMMENT_MODE:S,C_BLOCK_COMMENT_MODE:R,HASH_COMMENT_MODE:j,
+NUMBER_MODE:{scope:"number",begin:y,relevance:0},C_NUMBER_MODE:{scope:"number",
+begin:_,relevance:0},BINARY_NUMBER_MODE:{scope:"number",begin:O,relevance:0},
+REGEXP_MODE:{begin:/(?=\/[^/\n]*\/)/,contains:[{scope:"regexp",begin:/\//,
+end:/\/[gimuy]*/,illegal:/\n/,contains:[v,{begin:/\[/,end:/\]/,relevance:0,
+contains:[v]}]}]},TITLE_MODE:{scope:"title",begin:x,relevance:0},
+UNDERSCORE_TITLE_MODE:{scope:"title",begin:w,relevance:0},METHOD_GUARD:{
+begin:"\\.\\s*[a-zA-Z_]\\w*",relevance:0},END_SAME_AS_BEGIN:e=>Object.assign(e,{
+"on:begin":(e,t)=>{t.data._beginMatch=e[1]},"on:end":(e,t)=>{
+t.data._beginMatch!==e[1]&&t.ignoreMatch()}})});function I(e,t){
+"."===e.input[e.index-1]&&t.ignoreMatch()}function T(e,t){
+void 0!==e.className&&(e.scope=e.className,delete e.className)}function L(e,t){
+t&&e.beginKeywords&&(e.begin="\\b("+e.beginKeywords.split(" ").join("|")+")(?!\\.)(?=\\b|\\s)",
+e.__beforeBegin=I,e.keywords=e.keywords||e.beginKeywords,delete e.beginKeywords,
+void 0===e.relevance&&(e.relevance=0))}function B(e,t){
+Array.isArray(e.illegal)&&(e.illegal=f(...e.illegal))}function D(e,t){
+if(e.match){
+if(e.begin||e.end)throw Error("begin & end are not supported with match")
+;e.begin=e.match,delete e.match}}function H(e,t){
+void 0===e.relevance&&(e.relevance=1)}const P=(e,t)=>{if(!e.beforeMatch)return
+;if(e.starts)throw Error("beforeMatch cannot be used with starts")
+;const n=Object.assign({},e);Object.keys(e).forEach((t=>{delete e[t]
+})),e.keywords=n.keywords,e.begin=p(n.beforeMatch,d(n.begin)),e.starts={
+relevance:0,contains:[Object.assign(n,{endsParent:!0})]
+},e.relevance=0,delete n.beforeMatch
+},C=["of","and","for","in","not","or","if","then","parent","list","value"]
+;function $(e,t,n="keyword"){const i=Object.create(null)
+;return"string"==typeof e?r(n,e.split(" ")):Array.isArray(e)?r(n,e):Object.keys(e).forEach((n=>{
+Object.assign(i,$(e[n],t,n))})),i;function r(e,n){
+t&&(n=n.map((e=>e.toLowerCase()))),n.forEach((t=>{const n=t.split("|")
+;i[n[0]]=[e,U(n[0],n[1])]}))}}function U(e,t){
+return t?Number(t):(e=>C.includes(e.toLowerCase()))(e)?0:1}const z={},K=e=>{
+console.error(e)},W=(e,...t)=>{console.log("WARN: "+e,...t)},X=(e,t)=>{
+z[`${e}/${t}`]||(console.log(`Deprecated as of ${e}. ${t}`),z[`${e}/${t}`]=!0)
+},G=Error();function Z(e,t,{key:n}){let i=0;const r=e[n],s={},o={}
+;for(let e=1;e<=t.length;e++)o[e+i]=r[e],s[e+i]=!0,i+=b(t[e-1])
+;e[n]=o,e[n]._emit=s,e[n]._multi=!0}function F(e){(e=>{
+e.scope&&"object"==typeof e.scope&&null!==e.scope&&(e.beginScope=e.scope,
+delete e.scope)})(e),"string"==typeof e.beginScope&&(e.beginScope={
+_wrap:e.beginScope}),"string"==typeof e.endScope&&(e.endScope={_wrap:e.endScope
+}),(e=>{if(Array.isArray(e.begin)){
+if(e.skip||e.excludeBegin||e.returnBegin)throw K("skip, excludeBegin, returnBegin not compatible with beginScope: {}"),
+G
+;if("object"!=typeof e.beginScope||null===e.beginScope)throw K("beginScope must be object"),
+G;Z(e,e.begin,{key:"beginScope"}),e.begin=E(e.begin,{joinWith:""})}})(e),(e=>{
+if(Array.isArray(e.end)){
+if(e.skip||e.excludeEnd||e.returnEnd)throw K("skip, excludeEnd, returnEnd not compatible with endScope: {}"),
+G
+;if("object"!=typeof e.endScope||null===e.endScope)throw K("endScope must be object"),
+G;Z(e,e.end,{key:"endScope"}),e.end=E(e.end,{joinWith:""})}})(e)}function V(e){
+function t(t,n){
+return RegExp(g(t),"m"+(e.case_insensitive?"i":"")+(e.unicodeRegex?"u":"")+(n?"g":""))
+}class n{constructor(){
+this.matchIndexes={},this.regexes=[],this.matchAt=1,this.position=0}
+addRule(e,t){
+t.position=this.position++,this.matchIndexes[this.matchAt]=t,this.regexes.push([t,e]),
+this.matchAt+=b(e)+1}compile(){0===this.regexes.length&&(this.exec=()=>null)
+;const e=this.regexes.map((e=>e[1]));this.matcherRe=t(E(e,{joinWith:"|"
+}),!0),this.lastIndex=0}exec(e){this.matcherRe.lastIndex=this.lastIndex
+;const t=this.matcherRe.exec(e);if(!t)return null
+;const n=t.findIndex(((e,t)=>t>0&&void 0!==e)),i=this.matchIndexes[n]
+;return t.splice(0,n),Object.assign(t,i)}}class i{constructor(){
+this.rules=[],this.multiRegexes=[],
+this.count=0,this.lastIndex=0,this.regexIndex=0}getMatcher(e){
+if(this.multiRegexes[e])return this.multiRegexes[e];const t=new n
+;return this.rules.slice(e).forEach((([e,n])=>t.addRule(e,n))),
+t.compile(),this.multiRegexes[e]=t,t}resumingScanAtSamePosition(){
+return 0!==this.regexIndex}considerAll(){this.regexIndex=0}addRule(e,t){
+this.rules.push([e,t]),"begin"===t.type&&this.count++}exec(e){
+const t=this.getMatcher(this.regexIndex);t.lastIndex=this.lastIndex
+;let n=t.exec(e)
+;if(this.resumingScanAtSamePosition())if(n&&n.index===this.lastIndex);else{
+const t=this.getMatcher(0);t.lastIndex=this.lastIndex+1,n=t.exec(e)}
+return n&&(this.regexIndex+=n.position+1,
+this.regexIndex===this.count&&this.considerAll()),n}}
+if(e.compilerExtensions||(e.compilerExtensions=[]),
+e.contains&&e.contains.includes("self"))throw Error("ERR: contains `self` is not supported at the top-level of a language. See documentation.")
+;return e.classNameAliases=r(e.classNameAliases||{}),function n(s,o){const a=s
+;if(s.isCompiled)return a
+;[T,D,F,P].forEach((e=>e(s,o))),e.compilerExtensions.forEach((e=>e(s,o))),
+s.__beforeBegin=null,[L,B,H].forEach((e=>e(s,o))),s.isCompiled=!0;let c=null
+;return"object"==typeof s.keywords&&s.keywords.$pattern&&(s.keywords=Object.assign({},s.keywords),
+c=s.keywords.$pattern,
+delete s.keywords.$pattern),c=c||/\w+/,s.keywords&&(s.keywords=$(s.keywords,e.case_insensitive)),
+a.keywordPatternRe=t(c,!0),
+o&&(s.begin||(s.begin=/\B|\b/),a.beginRe=t(a.begin),s.end||s.endsWithParent||(s.end=/\B|\b/),
+s.end&&(a.endRe=t(a.end)),
+a.terminatorEnd=g(a.end)||"",s.endsWithParent&&o.terminatorEnd&&(a.terminatorEnd+=(s.end?"|":"")+o.terminatorEnd)),
+s.illegal&&(a.illegalRe=t(s.illegal)),
+s.contains||(s.contains=[]),s.contains=[].concat(...s.contains.map((e=>(e=>(e.variants&&!e.cachedVariants&&(e.cachedVariants=e.variants.map((t=>r(e,{
+variants:null},t)))),e.cachedVariants?e.cachedVariants:q(e)?r(e,{
+starts:e.starts?r(e.starts):null
+}):Object.isFrozen(e)?r(e):e))("self"===e?s:e)))),s.contains.forEach((e=>{n(e,a)
+})),s.starts&&n(s.starts,o),a.matcher=(e=>{const t=new i
+;return e.contains.forEach((e=>t.addRule(e.begin,{rule:e,type:"begin"
+}))),e.terminatorEnd&&t.addRule(e.terminatorEnd,{type:"end"
+}),e.illegal&&t.addRule(e.illegal,{type:"illegal"}),t})(a),a}(e)}function q(e){
+return!!e&&(e.endsWithParent||q(e.starts))}class J extends Error{
+constructor(e,t){super(e),this.name="HTMLInjectionError",this.html=t}}
+const Y=i,Q=r,ee=Symbol("nomatch");var te=(t=>{
+const i=Object.create(null),r=Object.create(null),s=[];let o=!0
+;const a="Could not find the language '{}', did you forget to load/include a language module?",c={
+disableAutodetect:!0,name:"Plain text",contains:[]};let g={
+ignoreUnescapedHTML:!1,throwUnescapedHTML:!1,noHighlightRe:/^(no-?highlight)$/i,
+languageDetectRe:/\blang(?:uage)?-([\w-]+)\b/i,classPrefix:"hljs-",
+cssSelector:"pre code",languages:null,__emitter:l};function b(e){
+return g.noHighlightRe.test(e)}function m(e,t,n){let i="",r=""
+;"object"==typeof t?(i=e,
+n=t.ignoreIllegals,r=t.language):(X("10.7.0","highlight(lang, code, ...args) has been deprecated."),
+X("10.7.0","Please use highlight(code, options) instead.\nhttps://github.com/highlightjs/highlight.js/issues/2277"),
+r=e,i=t),void 0===n&&(n=!0);const s={code:i,language:r};k("before:highlight",s)
+;const o=s.result?s.result:E(s.language,s.code,n)
+;return o.code=s.code,k("after:highlight",o),o}function E(e,t,r,s){
+const c=Object.create(null);function l(){if(!N.keywords)return void M.addText(S)
+;let e=0;N.keywordPatternRe.lastIndex=0;let t=N.keywordPatternRe.exec(S),n=""
+;for(;t;){n+=S.substring(e,t.index)
+;const r=y.case_insensitive?t[0].toLowerCase():t[0],s=(i=r,N.keywords[i]);if(s){
+const[e,i]=s
+;if(M.addText(n),n="",c[r]=(c[r]||0)+1,c[r]<=7&&(R+=i),e.startsWith("_"))n+=t[0];else{
+const n=y.classNameAliases[e]||e;M.addKeyword(t[0],n)}}else n+=t[0]
+;e=N.keywordPatternRe.lastIndex,t=N.keywordPatternRe.exec(S)}var i
+;n+=S.substring(e),M.addText(n)}function d(){null!=N.subLanguage?(()=>{
+if(""===S)return;let e=null;if("string"==typeof N.subLanguage){
+if(!i[N.subLanguage])return void M.addText(S)
+;e=E(N.subLanguage,S,!0,k[N.subLanguage]),k[N.subLanguage]=e._top
+}else e=x(S,N.subLanguage.length?N.subLanguage:null)
+;N.relevance>0&&(R+=e.relevance),M.addSublanguage(e._emitter,e.language)
+})():l(),S=""}function u(e,t){let n=1;const i=t.length-1;for(;n<=i;){
+if(!e._emit[n]){n++;continue}const i=y.classNameAliases[e[n]]||e[n],r=t[n]
+;i?M.addKeyword(r,i):(S=r,l(),S=""),n++}}function h(e,t){
+return e.scope&&"string"==typeof e.scope&&M.openNode(y.classNameAliases[e.scope]||e.scope),
+e.beginScope&&(e.beginScope._wrap?(M.addKeyword(S,y.classNameAliases[e.beginScope._wrap]||e.beginScope._wrap),
+S=""):e.beginScope._multi&&(u(e.beginScope,t),S="")),N=Object.create(e,{parent:{
+value:N}}),N}function p(e,t,i){let r=((e,t)=>{const n=e&&e.exec(t)
+;return n&&0===n.index})(e.endRe,i);if(r){if(e["on:end"]){const i=new n(e)
+;e["on:end"](t,i),i.isMatchIgnored&&(r=!1)}if(r){
+for(;e.endsParent&&e.parent;)e=e.parent;return e}}
+if(e.endsWithParent)return p(e.parent,t,i)}function f(e){
+return 0===N.matcher.regexIndex?(S+=e[0],1):(I=!0,0)}function b(e){
+const n=e[0],i=t.substring(e.index),r=p(N,e,i);if(!r)return ee;const s=N
+;N.endScope&&N.endScope._wrap?(d(),
+M.addKeyword(n,N.endScope._wrap)):N.endScope&&N.endScope._multi?(d(),
+u(N.endScope,e)):s.skip?S+=n:(s.returnEnd||s.excludeEnd||(S+=n),
+d(),s.excludeEnd&&(S=n));do{
+N.scope&&M.closeNode(),N.skip||N.subLanguage||(R+=N.relevance),N=N.parent
+}while(N!==r.parent);return r.starts&&h(r.starts,e),s.returnEnd?0:n.length}
+let m={};function w(i,s){const a=s&&s[0];if(S+=i,null==a)return d(),0
+;if("begin"===m.type&&"end"===s.type&&m.index===s.index&&""===a){
+if(S+=t.slice(s.index,s.index+1),!o){const t=Error(`0 width match regex (${e})`)
+;throw t.languageName=e,t.badRule=m.rule,t}return 1}
+if(m=s,"begin"===s.type)return(e=>{
+const t=e[0],i=e.rule,r=new n(i),s=[i.__beforeBegin,i["on:begin"]]
+;for(const n of s)if(n&&(n(e,r),r.isMatchIgnored))return f(t)
+;return i.skip?S+=t:(i.excludeBegin&&(S+=t),
+d(),i.returnBegin||i.excludeBegin||(S=t)),h(i,e),i.returnBegin?0:t.length})(s)
+;if("illegal"===s.type&&!r){
+const e=Error('Illegal lexeme "'+a+'" for mode "'+(N.scope||"")+'"')
+;throw e.mode=N,e}if("end"===s.type){const e=b(s);if(e!==ee)return e}
+if("illegal"===s.type&&""===a)return 1
+;if(A>1e5&&A>3*s.index)throw Error("potential infinite loop, way more iterations than matches")
+;return S+=a,a.length}const y=O(e)
+;if(!y)throw K(a.replace("{}",e)),Error('Unknown language: "'+e+'"')
+;const _=V(y);let v="",N=s||_;const k={},M=new g.__emitter(g);(()=>{const e=[]
+;for(let t=N;t!==y;t=t.parent)t.scope&&e.unshift(t.scope)
+;e.forEach((e=>M.openNode(e)))})();let S="",R=0,j=0,A=0,I=!1;try{
+for(N.matcher.considerAll();;){
+A++,I?I=!1:N.matcher.considerAll(),N.matcher.lastIndex=j
+;const e=N.matcher.exec(t);if(!e)break;const n=w(t.substring(j,e.index),e)
+;j=e.index+n}
+return w(t.substring(j)),M.closeAllNodes(),M.finalize(),v=M.toHTML(),{
+language:e,value:v,relevance:R,illegal:!1,_emitter:M,_top:N}}catch(n){
+if(n.message&&n.message.includes("Illegal"))return{language:e,value:Y(t),
+illegal:!0,relevance:0,_illegalBy:{message:n.message,index:j,
+context:t.slice(j-100,j+100),mode:n.mode,resultSoFar:v},_emitter:M};if(o)return{
+language:e,value:Y(t),illegal:!1,relevance:0,errorRaised:n,_emitter:M,_top:N}
+;throw n}}function x(e,t){t=t||g.languages||Object.keys(i);const n=(e=>{
+const t={value:Y(e),illegal:!1,relevance:0,_top:c,_emitter:new g.__emitter(g)}
+;return t._emitter.addText(e),t})(e),r=t.filter(O).filter(N).map((t=>E(t,e,!1)))
+;r.unshift(n);const s=r.sort(((e,t)=>{
+if(e.relevance!==t.relevance)return t.relevance-e.relevance
+;if(e.language&&t.language){if(O(e.language).supersetOf===t.language)return 1
+;if(O(t.language).supersetOf===e.language)return-1}return 0})),[o,a]=s,l=o
+;return l.secondBest=a,l}function w(e){let t=null;const n=(e=>{
+let t=e.className+" ";t+=e.parentNode?e.parentNode.className:""
+;const n=g.languageDetectRe.exec(t);if(n){const t=O(n[1])
+;return t||(W(a.replace("{}",n[1])),
+W("Falling back to no-highlight mode for this block.",e)),t?n[1]:"no-highlight"}
+return t.split(/\s+/).find((e=>b(e)||O(e)))})(e);if(b(n))return
+;if(k("before:highlightElement",{el:e,language:n
+}),e.children.length>0&&(g.ignoreUnescapedHTML||(console.warn("One of your code blocks includes unescaped HTML. This is a potentially serious security risk."),
+console.warn("https://github.com/highlightjs/highlight.js/wiki/security"),
+console.warn("The element with unescaped HTML:"),
+console.warn(e)),g.throwUnescapedHTML))throw new J("One of your code blocks includes unescaped HTML.",e.innerHTML)
+;t=e;const i=t.textContent,s=n?m(i,{language:n,ignoreIllegals:!0}):x(i)
+;e.innerHTML=s.value,((e,t,n)=>{const i=t&&r[t]||n
+;e.classList.add("hljs"),e.classList.add("language-"+i)
+})(e,n,s.language),e.result={language:s.language,re:s.relevance,
+relevance:s.relevance},s.secondBest&&(e.secondBest={
+language:s.secondBest.language,relevance:s.secondBest.relevance
+}),k("after:highlightElement",{el:e,result:s,text:i})}let y=!1;function _(){
+"loading"!==document.readyState?document.querySelectorAll(g.cssSelector).forEach(w):y=!0
+}function O(e){return e=(e||"").toLowerCase(),i[e]||i[r[e]]}
+function v(e,{languageName:t}){"string"==typeof e&&(e=[e]),e.forEach((e=>{
+r[e.toLowerCase()]=t}))}function N(e){const t=O(e)
+;return t&&!t.disableAutodetect}function k(e,t){const n=e;s.forEach((e=>{
+e[n]&&e[n](t)}))}
+"undefined"!=typeof window&&window.addEventListener&&window.addEventListener("DOMContentLoaded",(()=>{
+y&&_()}),!1),Object.assign(t,{highlight:m,highlightAuto:x,highlightAll:_,
+highlightElement:w,
+highlightBlock:e=>(X("10.7.0","highlightBlock will be removed entirely in v12.0"),
+X("10.7.0","Please use highlightElement now."),w(e)),configure:e=>{g=Q(g,e)},
+initHighlighting:()=>{
+_(),X("10.6.0","initHighlighting() deprecated. Use highlightAll() now.")},
+initHighlightingOnLoad:()=>{
+_(),X("10.6.0","initHighlightingOnLoad() deprecated. Use highlightAll() now.")
+},registerLanguage:(e,n)=>{let r=null;try{r=n(t)}catch(t){
+if(K("Language definition for '{}' could not be registered.".replace("{}",e)),
+!o)throw t;K(t),r=c}
+r.name||(r.name=e),i[e]=r,r.rawDefinition=n.bind(null,t),r.aliases&&v(r.aliases,{
+languageName:e})},unregisterLanguage:e=>{delete i[e]
+;for(const t of Object.keys(r))r[t]===e&&delete r[t]},
+listLanguages:()=>Object.keys(i),getLanguage:O,registerAliases:v,
+autoDetection:N,inherit:Q,addPlugin:e=>{(e=>{
+e["before:highlightBlock"]&&!e["before:highlightElement"]&&(e["before:highlightElement"]=t=>{
+e["before:highlightBlock"](Object.assign({block:t.el},t))
+}),e["after:highlightBlock"]&&!e["after:highlightElement"]&&(e["after:highlightElement"]=t=>{
+e["after:highlightBlock"](Object.assign({block:t.el},t))})})(e),s.push(e)}
+}),t.debugMode=()=>{o=!1},t.safeMode=()=>{o=!0
+},t.versionString="11.7.0",t.regex={concat:p,lookahead:d,either:f,optional:h,
+anyNumberOfTimes:u};for(const t in A)"object"==typeof A[t]&&e.exports(A[t])
+;return Object.assign(t,A),t})({});return te}()
+;"object"==typeof exports&&"undefined"!=typeof module&&(module.exports=hljs);/*! `xml` grammar compiled for Highlight.js 11.7.0 */
+(()=>{var e=(()=>{"use strict";return e=>{
+const a=e.regex,n=a.concat(/[\p{L}_]/u,a.optional(/[\p{L}0-9_.-]*:/u),/[\p{L}0-9_.-]*/u),s={
+className:"symbol",begin:/&[a-z]+;|[0-9]+;|[a-f0-9]+;/},t={begin:/\s/,
+contains:[{className:"keyword",begin:/#?[a-z_][a-z1-9_-]+/,illegal:/\n/}]
+},i=e.inherit(t,{begin:/\(/,end:/\)/}),c=e.inherit(e.APOS_STRING_MODE,{
+className:"string"}),l=e.inherit(e.QUOTE_STRING_MODE,{className:"string"}),r={
+endsWithParent:!0,illegal:/,relevance:0,contains:[{className:"attr",
+begin:/[\p{L}0-9._:-]+/u,relevance:0},{begin:/=\s*/,relevance:0,contains:[{
+className:"string",endsParent:!0,variants:[{begin:/"/,end:/"/,contains:[s]},{
+begin:/'/,end:/'/,contains:[s]},{begin:/[^\s"'=<>`]+/}]}]}]};return{
+name:"HTML, XML",
+aliases:["html","xhtml","rss","atom","xjb","xsd","xsl","plist","wsf","svg"],
+case_insensitive:!0,unicodeRegex:!0,contains:[{className:"meta",begin://,relevance:10,contains:[t,l,c,i,{begin:/\[/,end:/\]/,contains:[{
+className:"meta",begin://,contains:[t,i,l,c]}]}]
+},e.COMMENT(//,{relevance:10}),{begin://,
+relevance:10},s,{className:"meta",end:/\?>/,variants:[{begin:/<\?xml/,
+relevance:10,contains:[l]},{begin:/<\?[a-z][a-z0-9]+/}]},{className:"tag",
+begin:/