diff --git a/index.html b/index.html index 48a2873..b375f4a 100644 --- 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 @@ first_element = op.methodcaller(<span class="hljs-string">'pop'</span>, <span <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 @@ $ deactivate <span class="hljs-comment"># Deactivates the active <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 index fa5f100..e592db8 100755 --- 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");