Merge remote-tracking branch 'github/develop' into collected-small-fixes

2025-03-17 11:01:42 -04:00
parent 0a7b528d39 2240430d5e
commit 9e8b9e55be
12 changed files with 426 additions and 275 deletions
--- a/doc/utils/pandoc.css
+++ b/doc/utils/pandoc.css
@ -0,0 +1,46 @@
+body {
+        padding-left: 1em;
+        padding-right: 1em;
+        padding-top: 1em;
+        padding-bottom: 1em;
+        hyphens: auto;
+        overflow-wrap: break-word;
+        text-rendering: optimizeLegibility;
+        font-kerning: normal;
+        font-family: sans-serif;
+}
+
+.parsed-literal {
+        font-family: monospace;
+        margin: 1px;
+}
+
+.note {
+        background: #e7f2fa;
+}
+
+.warning {
+        background: #f0b37e;
+}
+
+.title {
+        font-weight: bold;
+}
+
+.hint {
+        background: #dbfaf4;
+}
+p {
+        line-height: 20px;
+        font-size: 16px;
+        margin: 6px;
+}
+
+pre {
+        line-height: 18px;
+        padding: 1ex;
+        background: #f8f8f8;
+        border: solid;
+        border-width: 1px;
+        border-color: #d0d0d0;
+}
--- a/doc/utils/pandoc.html
+++ b/doc/utils/pandoc.html
@ -0,0 +1,70 @@
+<!DOCTYPE html>
+<html xmlns="http://www.w3.org/1999/xhtml" lang="$lang$" xml:lang="$lang$"$if(dir)$ dir="$dir$"$endif$>
+<head>
+  <meta charset="utf-8" />
+  <meta name="generator" content="pandoc" />
+  <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes" />
+$for(author-meta)$
+  <meta name="author" content="$author-meta$" />
+$endfor$
+$if(date-meta)$
+  <meta name="dcterms.date" content="$date-meta$" />
+$endif$
+$if(keywords)$
+  <meta name="keywords" content="$for(keywords)$$keywords$$sep$, $endfor$" />
+$endif$
+$if(description-meta)$
+  <meta name="description" content="$description-meta$" />
+$endif$
+  <title>$if(title-prefix)$$title-prefix$ – $endif$$pagetitle$</title>
+  <style>
+    $styles.html()$
+  </style>
+$for(css)$
+  <link rel="stylesheet" href="$css$" />
+$endfor$
+$for(header-includes)$
+  $header-includes$
+$endfor$
+$if(math)$
+  $math$
+$endif$
+</head>
+<body>
+$for(include-before)$
+$include-before$
+$endfor$
+$if(title)$
+<header id="title-block-header">
+<h1 class="title">$title$</h1>
+$if(subtitle)$
+<p class="subtitle">$subtitle$</p>
+$endif$
+$for(author)$
+<p class="author">$author$</p>
+$endfor$
+$if(date)$
+<p class="date">$date$</p>
+$endif$
+$if(abstract)$
+<div class="abstract">
+<div class="abstract-title">$abstract-title$</div>
+$abstract$
+</div>
+$endif$
+</header>
+$endif$
+$if(toc)$
+<nav id="$idprefix$TOC" role="doc-toc">
+$if(toc-title)$
+<h2 id="$idprefix$toc-title">$toc-title$</h2>
+$endif$
+$table-of-contents$
+</nav>
+$endif$
+$body$
+$for(include-after)$
+$include-after$
+$endfor$
+</body>
+</html>