logo

blog

My website can't be that messy, right? git clone https://hacktivis.me/git/blog.git
commit: f96525089d6d4fd84d2808381884e7a344db4854
parent 3534caa65790fda2c947dd733d911ba13a8eae55
Author: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
Date:   Thu,  6 Oct 2022 00:43:40 +0200

notes/bootstrapping: Use .math

Diffstat:

Mnotes/bootstrapping.shtml2+-
Mtemplates/head.shtml2+-
2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/notes/bootstrapping.shtml b/notes/bootstrapping.shtml @@ -22,7 +22,7 @@ <h2>Problematic software</h2> <h3>Erlang</h3> - <p>Documented as originally implemented in prolog, now version n requires binaries version n-1 or n to build. No alternative compiler known so far.</p> + <p>Documented as originally implemented in prolog, now version n requires binaries version <i class="math">n-1</i> or <i class="math">n</i> to build. No alternative compiler known so far.</p> <h3>Rust</h3> <p> diff --git a/templates/head.shtml b/templates/head.shtml @@ -1,5 +1,5 @@ <meta charset="utf-8"/> - <link rel="stylesheet" type="text/css" href="/css/index.css?serial=2022032703"/> + <link rel="stylesheet" type="text/css" href="/css/index.css?serial=2022100601"/> <meta name="viewport" content="width=device-width, initial-scale=1"/> <link rel="vcs-git" href="https://gitlab.com/lanodan/blog.git" title="gitlab"/> <link rel="icon" type="text/css" href="/images/favicon.png?serial=2020111201"/>