deploy: 096b14a

srid · Mar 10, 2024 · d3eeb0d · d3eeb0d
1 parent 0268d51
commit d3eeb0d
Show file tree

Hide file tree

Showing 59 changed files with 86 additions and 1,480 deletions.
diff --git a/-/all.html b/-/all.html
@@ -37,7 +37,7 @@
 
 
   <emaNoteFeedUrl></emaNoteFeedUrl>
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */
@@ -392,48 +392,6 @@ <h1 class='pb-2 mt-2 mb-2 text-6xl text-center'>
 
 
 
-<!-- Rendering of this tree -->
-<div class='pl-2'>
-  <!-- Node's rootLabel-->
-  <div class='flex items-center my-2 space-x-2 justify-left'>
-    <span>
-
-
-
-      <svg class='w-4 h-4 flex-shrink-0 inline' fill='none' stroke='currentColor' viewBox='0 0 24 24' xmlns='http://www.w3.org/2000/svg'>
-        <path stroke-linecap='round' stroke-linejoin='round' stroke-width='2' d='M7 21h10a2 2 0 002-2V9.414a1 1 0 00-.293-.707l-5.414-5.414A1 1 0 0012.586 3H7a2 2 0 00-2 2v14a2 2 0 002 2z'>
-        </path>
-      </svg>
-
-
-
-    </span>
-    <a class='hover:bg-blue-200 rounded px-1.5 truncate' title='Docker image' href='start/install/docker'>
-      Docker image
-    </a>
-
-
-  </div>
-
-  <!-- Node's children forest, displayed only on active trees
-    TODO: Use <details> to toggle visibility?
-  -->
-
-
-
-</div>
-
-      <!-- Variable bindings for this tree-->
-
-
-
-
-
-
-
-
-
-
 <!-- Rendering of this tree -->
 <div class='pl-2'>
   <!-- Node's rootLabel-->

diff --git a/-/export.json b/-/export.json
diff --git a/-/stork.st b/-/stork.st
diff --git a/-/tags.html b/-/tags.html
@@ -37,7 +37,7 @@
 
 
   <emaNoteFeedUrl></emaNoteFeedUrl>
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */

diff --git a/-/tags/emanote.html b/-/tags/emanote.html
@@ -37,7 +37,7 @@
 
 
   <emaNoteFeedUrl></emaNoteFeedUrl>
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */

diff --git a/-/tags/emanote/dev.html b/-/tags/emanote/dev.html
@@ -37,7 +37,7 @@
 
 
   <emaNoteFeedUrl></emaNoteFeedUrl>
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */

diff --git a/-/tags/emanote/syntax.html b/-/tags/emanote/syntax.html
@@ -37,7 +37,7 @@
 
 
   <emaNoteFeedUrl></emaNoteFeedUrl>
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */

diff --git a/-/tags/emanote/syntax/demo.html b/-/tags/emanote/syntax/demo.html
@@ -37,7 +37,7 @@
 
 
   <emaNoteFeedUrl></emaNoteFeedUrl>
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */

diff --git a/-/tags/emanote/yaml.html b/-/tags/emanote/yaml.html
@@ -37,7 +37,7 @@
 
 
   <emaNoteFeedUrl></emaNoteFeedUrl>
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */

diff --git a/-/tags/emanote/yaml/demo.html b/-/tags/emanote/yaml/demo.html
@@ -37,7 +37,7 @@
 
 
   <emaNoteFeedUrl></emaNoteFeedUrl>
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */

diff --git a/-/tags/external.html b/-/tags/external.html
@@ -37,7 +37,7 @@
 
 
   <emaNoteFeedUrl></emaNoteFeedUrl>
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */

diff --git a/-/tasks.html b/-/tasks.html
@@ -37,7 +37,7 @@
 
 
   <emaNoteFeedUrl></emaNoteFeedUrl>
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */

diff --git a/architecture.html b/architecture.html
@@ -43,7 +43,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */

diff --git a/breadcrumbs.html b/breadcrumbs.html
@@ -43,7 +43,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */

diff --git a/examples.html b/examples.html
@@ -43,7 +43,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */

diff --git a/folder-note.html b/folder-note.html
@@ -43,7 +43,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */

diff --git a/folgezettel.html b/folgezettel.html
@@ -43,7 +43,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */

diff --git a/guide.html b/guide.html
@@ -43,7 +43,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */

diff --git a/guide/export.html b/guide/export.html
@@ -43,7 +43,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */

diff --git a/guide/feed.html b/guide/feed.html
@@ -43,7 +43,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */

diff --git a/guide/html-template.html b/guide/html-template.html
@@ -43,7 +43,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */

diff --git a/guide/html-template/external-links.html b/guide/html-template/external-links.html
@@ -44,7 +44,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */

diff --git a/guide/html-template/neuron-layout.html b/guide/html-template/neuron-layout.html
@@ -43,7 +43,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */

diff --git a/guide/html-template/search.html b/guide/html-template/search.html
@@ -43,7 +43,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */

diff --git a/guide/html-template/sidebar.html b/guide/html-template/sidebar.html
@@ -43,7 +43,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */

diff --git a/guide/html-template/uptree.html b/guide/html-template/uptree.html
@@ -43,7 +43,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */
@@ -606,8 +606,8 @@
     </a>
 
 
-        <span class='text-gray-300' title='3 children inside'>
-          3
+        <span class='text-gray-300' title='2 children inside'>
+          2
         </span>
 
 

diff --git a/guide/layer.html b/guide/layer.html
@@ -43,7 +43,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */

diff --git a/guide/lua-filters.html b/guide/lua-filters.html
@@ -43,7 +43,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */

diff --git a/guide/markdown.html b/guide/markdown.html
@@ -43,7 +43,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */

diff --git a/guide/markdown/custom-style.html b/guide/markdown/custom-style.html
@@ -43,7 +43,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */

diff --git a/guide/markdown/embed.html b/guide/markdown/embed.html
@@ -43,7 +43,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */
@@ -1580,7 +1580,7 @@ <h3 id='code-files' class='group mt-6 mb-4 font-bold text-gray-700 text-3xl'>
     <p class='mb-3'>
       Source code files can be embedded using the same syntax. The following is the result of using <code class='py-0.5 px-0.5 bg-gray-100'>![[haskell-code.hs]]</code> (note that <code class='py-0.5 px-0.5 bg-gray-100'>![](haskell-code.hs)</code> also works):
     </p>
-  <div class='py-0.5 mb-3 text-sm' title='/nix/store/yfh87yqwkpmjc6j7vf1xgc8wrd3ggrzl-docs/guide/markdown/haskell-code.hs'>
+  <div class='py-0.5 mb-3 text-sm' title='/nix/store/gwnyax9cm317rjrqcw6ba0nkc84v0qgv-docs/guide/markdown/haskell-code.hs'>
   <pre><code class='haskell'>module HaskellCode where
 
 main :: IO ()
@@ -1591,7 +1591,7 @@ <h3 id='code-files' class='group mt-6 mb-4 font-bold text-gray-700 text-3xl'>
     <p class='mb-3'>
       A C file:
     </p>
-  <div class='py-0.5 mb-3 text-sm' title='/nix/store/yfh87yqwkpmjc6j7vf1xgc8wrd3ggrzl-docs/guide/markdown/c-code.c'>
+  <div class='py-0.5 mb-3 text-sm' title='/nix/store/gwnyax9cm317rjrqcw6ba0nkc84v0qgv-docs/guide/markdown/c-code.c'>
   <pre><code class='c'>#include &lt;stdio.h&gt;
 
 int main() {

diff --git a/guide/markdown/file-links.html b/guide/markdown/file-links.html
@@ -43,7 +43,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */

diff --git a/guide/orgmode.html b/guide/orgmode.html
@@ -54,7 +54,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */

diff --git a/guide/query.html b/guide/query.html
@@ -43,7 +43,7 @@
 
 
   <link href='/guide/query.xml' rel='alternate' type='application/atom+xml' title='Atom Feed' />
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */

diff --git a/guide/yaml-config.html b/guide/yaml-config.html
@@ -43,7 +43,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */

diff --git a/index.html b/index.html
@@ -44,7 +44,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */

diff --git a/ogp.html b/ogp.html
@@ -43,7 +43,7 @@
 
 
 
-  <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+  <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
 
   <style>
     /* Heist error element */
-Original file line number
+Diff line change
@@ Expand Up / @@ -43,7 +43,7 @@ @@
-      <link href='tailwind.css?instanceId=67fa87f0-6b75-429d-bb0b-eaa664fef728' rel='stylesheet' type='text/css' />
+      <link href='tailwind.css?instanceId=a54fe05e-75df-41df-9521-929cae8f2406' rel='stylesheet' type='text/css' />
       <style>
         /* Heist error element */
@@ Expand Down @@