Minor site fixes.
h3rald h3rald@h3rald.com
Sat, 14 Dec 2024 18:05:56 +0100
2 files changed,
2 insertions(+),
2 deletions(-)
M
web/assets/styles.css
→
web/assets/styles.css
@@ -77,7 +77,7 @@
footer { font-size: 80%; text-align: center; - margin: auto; + margin: 2rem auto 1rem; } a {
M
web/contents/play.html
→
web/contents/play.html
@@ -9,7 +9,7 @@ <pre><code>($0x1$$ $0x2$$ $0x3$$) ($:dup$$ $:dup$$ $:*$$ $:*$$) $:map$$</code></pre>
<section> <section></section> <aside> - <span>> </span> + <span>> </span> <input type="text" autofocus /> </aside> </section>