Match statement

gto76 · gto76 · commit db1bcb964dc9 · 2024-12-11T00:22:57.000+01:00
diff --git a/index.html b/index.html
@@ -55,7 +55,7 @@
 
 <body>
   <header>
-    <aside>December 10, 2024</aside>
+    <aside>December 11, 2024</aside>
     <a href="https://gto76.github.io" rel="author">Jure Šorn</a>
   </header>
 
@@ -1778,7 +1778,7 @@ <h3 id="format-2">Format</h3><div><h4 id="forstandardtypesizesandmanualalignment
 <span class="hljs-meta">... </span>        parts=[<span class="hljs-string">'/'</span>, <span class="hljs-string">'home'</span>, user, *_]
 <span class="hljs-meta">... </span>    ) <span class="hljs-keyword">as</span> p <span class="hljs-keyword">if</span> p.name.lower().startswith(<span class="hljs-string">'readme'</span>) <span class="hljs-keyword">and</span> p.is_file():
 <span class="hljs-meta">... </span>        print(<span class="hljs-string">f'<span class="hljs-subst">{p.name}</span> is a readme file that belongs to user <span class="hljs-subst">{user}</span>.'</span>)
-<span class="hljs-string">'README.md is a readme file that belongs to user gto.'</span>
+README.md is a readme file that belongs to user gto.
 </code></pre></div>
 
 <div><h2 id="logging"><a href="#logging" name="logging">#</a>Logging</h2><pre><code class="python language-python hljs"><span class="hljs-keyword">import</span> logging <span class="hljs-keyword">as</span> log
@@ -2924,7 +2924,7 @@ <h3 id="format-2">Format</h3><div><h4 id="forstandardtypesizesandmanualalignment
  
 
   <footer>
-    <aside>December 10, 2024</aside>
+    <aside>December 11, 2024</aside>
     <a href="https://gto76.github.io" rel="author">Jure Šorn</a>
   </footer>
 
diff --git a/parse.js b/parse.js
@@ -733,6 +733,7 @@ function modifyPage() {
   unindentBanner();
   updateDiagrams();
   highlightCode();
+  fixMatchHighlights();
   fixPandasDiagram();
   removePlotImages();
   fixABCSequenceDiv();
@@ -897,6 +898,12 @@ function insertPageBreakBefore(an_id) {
   $('<div class="pagebreak"></div>').insertBefore($(an_id).parent())
 }
 
+function fixMatchHighlights() {
+  const line = $(`span:contains(README.md is a readme file that belongs to user gto.)`);
+  line.after('README.md is a readme file that belongs to user gto.');
+  line.remove();
+}
+
 function fixPandasDiagram() {
   const diagram_15 = '┏━━━━━━━━━━━━━━━━━━━━━━━┯━━━━━━━━━━━━━━━┯━━━━━━━━━━━━┯━━━━━━━━━━━━┯━━━━━━━━━━━━━━━━━━━━━━━━━━━┓';
   $(`code:contains(${diagram_15})`).find(".hljs-keyword:contains(and)").after("and");
