add base tag

the1lab · Sep 12, 2023 · ed4cecc · ed4cecc
1 parent 57ad3e6
commit ed4cecc
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/support/web/template.html b/support/web/template.html
@@ -5,6 +5,7 @@
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
   <meta name="keywords" content="Agda,category theory,homotopy type theory,type theory" />
 
+  <base href="$base-url$">
   <title>$pagetitle$ - 1Lab</title>
 
   <link rel="stylesheet" href="$base-url$/css/default.css" />
@@ -138,7 +139,7 @@ <h3 class="Agda" style="margin-top: 0; margin-bottom: 0; white-space: pre;">
       $if(is-index)$
       $else$
       <div id=return>
-        <a href="/">back to index</a>
+        <a href="$base-url$">back to index</a>
       </div>
       $endif$