about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
-rw-r--r--_css/style.css76
-rw-r--r--_layout/foot.html14
-rw-r--r--_layout/foot_highlight.html2
-rw-r--r--_layout/foot_katex.html3
-rw-r--r--_layout/head.html25
-rw-r--r--_layout/head_katex.html1
-rw-r--r--_layout/page_foot.html16
-rw-r--r--_layout/tag.html14
-rw-r--r--blog/2020/gsoc/article/1.md5
-rw-r--r--blog/2020/gsoc/article/2.md5
-rw-r--r--blog/2020/gsoc/article/3.md5
-rw-r--r--blog/2020/gsoc/article/4.md7
-rw-r--r--blog/2020/gsoc/article/5.md5
-rw-r--r--blog/2020/gsoc/article/6.md5
-rw-r--r--blog/2020/gsoc/article/7.md5
-rw-r--r--blog/2020/gsoc/checkin/1.md5
-rw-r--r--blog/2020/gsoc/checkin/2.md5
-rw-r--r--blog/2020/gsoc/checkin/3.md5
-rw-r--r--blog/2020/gsoc/checkin/4.md5
-rw-r--r--blog/2020/gsoc/checkin/5.md5
-rw-r--r--blog/2020/gsoc/checkin/6.md5
-rw-r--r--blog/2020/gsoc/checkin/7.md5
-rw-r--r--blog/2020/gsoc/index.md5
-rw-r--r--blog/butter.md5
-rw-r--r--blog/conseq.md5
-rw-r--r--blog/nopoo.md5
-rw-r--r--blog/system.md5
-rw-r--r--blog/teredo.md5
-rw-r--r--blog/threa.md5
29 files changed, 108 insertions, 150 deletions
diff --git a/_css/style.css b/_css/style.css
index b2d724b..369bc2c 100644
--- a/_css/style.css
+++ b/_css/style.css
@@ -39,20 +39,13 @@ html {
     background-color: var(--text-bg);
     box-sizing: border-box;
     color: var(--text-fg);
+    font-size: min(max(100%, 2vw), 24px);
     margin: auto;
     max-width: 72ch;
-    padding: 1ch;
     scrollbar-color: var(--fade-fg) var(--block-bg);
 }
 
-/* Keep minimum font size to the usual default of 16px */
-@media (min-width: 800px) {
-    html {
-        font-size: min(23px, 2vw);
-        margin-left: auto;
-        margin-right: auto;
-    }
-}
+body { margin: 0 1rem }
 
 .franklin-content .row { display: block }
 
@@ -76,18 +69,6 @@ html {
 }
 
 /* Titles */
-.franklin-content h1 {
-    padding-bottom: 0.5rem;
-    border-bottom: 0.15rem solid var(--fade-fg);
-    margin-top: 2rem;
-}
-
-.franklin-content h2 {
-    padding-bottom: 0.3rem;
-    border-bottom: 0.08rem solid var(--fade-fg);
-    margin-top: 2rem;
-}
-
 .franklin-content h1 a,
 .franklin-content h2 a,
 .franklin-content h3 a,
@@ -110,18 +91,8 @@ html {
     list-style-type: lower-alpha;
 }
 
-.franklin-content blockquote {
-    background: var(--block-bg);
-    border-left: 0.25rem solid var(--fade-fg);
-    font-style: italic;
-    margin: 0;
-    padding: 1ch 1ch;
-}
-
-.franklin-content blockquote p { display: inline }
-
 /* General formatting */
-/* Spacing between bullet points. */
+.franklin-content ol, .franklin-content ul { margin: 1ch 0 }
 .franklin-content li p { margin: 1ch 0 }
 
 .franklin-content a {
@@ -178,15 +149,29 @@ html {
  */
 
 /* Boxes */
+.franklin-content blockquote, .note {
+    margin: 0 -1rem;
+    padding-bottom: 1ex;
+    padding-left: 0.75rem;
+    padding-right: 1rem;
+    padding-top: 1ex;
+}
+
+.franklin-content blockquote p, .note p { display: inline }
+
+.franklin-content blockquote {
+    background: var(--block-bg);
+    border-left: 0.25rem solid var(--fade-fg);
+}
+
 .note {
     background-color: #51affe25;
     border-left: 0.25rem solid var(--blue);
-    padding: 0.1rem 1rem;
 }
 
 /* Header */
 header {
-    margin: 1rem -0.5rem;
+    margin: 1.5rem -0.5rem;
     display: flex;
     flex-wrap: wrap;
     justify-content: space-between;
@@ -203,22 +188,25 @@ header a {
 }
 header a:hover { color: var(--text-fg) }
 
-/* Footer */
-.franklin-content .page-foot a {
+/* Metadata */
+.metadata, .page-foot {
     color: var(--fade-fg);
-    text-decoration: underline;
+    font-size: 80%;
+}
+
+.metadata {
+    margin-top: -1rem;
+    margin-bottom: 1rem;
 }
 
 .page-foot {
-    color: var(--fade-fg);
-    font-size: 80%;
-    margin: 1.5rem 0;
+    margin-top: 1.5rem;
+    margin-bottom: 2rem;
 }
 
-/* Balance the horizontal margin with extra vertical ones. */
-@media (min-width: 576px) {
-    header { margin-top: 2rem }
-    .page-foot { margin-bottom: 3rem }
+.metadata a, .franklin-content .page-foot a {
+    color: var(--fade-fg);
+    text-decoration: underline;
 }
 
 nav, nav li { display: inline-block }
diff --git a/_layout/foot.html b/_layout/foot.html
index f87c1a1..95abfb5 100644
--- a/_layout/foot.html
+++ b/_layout/foot.html
@@ -1,9 +1,7 @@
-<!-- CONTENT ENDS HERE -->
-    {{ if hasmath }}
-        {{ insert foot_katex.html }}
-    {{ end }}
-    {{ if hascode }}
-        {{ insert foot_highlight.html }}
-    {{ end }}
-  </body>
+{{if hasmath}}<script src=/libs/katex/katex.min.js></script>
+<script src=/libs/katex/auto-render.min.js></script>
+<script>renderMathInElement(document.body)</script>{{end}}
+{{if hascode}}<script src=/libs/highlight/highlight.pack.js></script>
+<script>hljs.initHighlightingOnLoad();</script>{{end}}
+</body>
 </html>
diff --git a/_layout/foot_highlight.html b/_layout/foot_highlight.html
deleted file mode 100644
index 616d9f4..0000000
--- a/_layout/foot_highlight.html
+++ /dev/null
@@ -1,2 +0,0 @@
-<script src="/libs/highlight/highlight.pack.js"></script>
-<script>hljs.initHighlightingOnLoad();hljs.configure({tabReplace: '    '});</script>
diff --git a/_layout/foot_katex.html b/_layout/foot_katex.html
deleted file mode 100644
index 6c7e39f..0000000
--- a/_layout/foot_katex.html
+++ /dev/null
@@ -1,3 +0,0 @@
-<script src="/libs/katex/katex.min.js"></script>
-<script src="/libs/katex/auto-render.min.js"></script>
-<script>renderMathInElement(document.body)</script>
diff --git a/_layout/head.html b/_layout/head.html
index da6421c..8f5353f 100644
--- a/_layout/head.html
+++ b/_layout/head.html
@@ -1,14 +1,15 @@
 <!doctype html>
-<html lang="en">
-<head>
-  <meta charset="UTF-8">
-  <meta name="viewport" content="width=device-width, initial-scale=1">
-  {{if hasmath}}{{insert head_katex.html}}{{end}}
-  <link rel="stylesheet" href="/css/style.css">
-  <link rel="icon" href="/assets/favicon.png">
-  {{isdef title}}<title>{{fill title}} - McSinyx</title>{{end}}
-</head>
+<html lang=en>
+<meta charset=UTF-8 name=viewport content='width=device-width, initial-scale=1'>
+{{if hasmath}}<link rel=stylesheet href=/libs/katex/katex.min.css>{{end}}
+<link rel=stylesheet href=/css/style.css>
+<link rel=icon href=/assets/favicon.png>
+{{isdef title}}<title>{{title}} - McSinyx</title>{{end}}
 <body>
-  {{insert header.html}}
-
-<!-- Content appended here -->
+{{insert header.html}}
+{{isnotempty rss}}<h1>{{title}}</h1>
+<div class=metadata>
+  <strong>Originally published:</strong> {{date}}<br>
+  <strong>Tags:</strong>{{for tag in tags}}
+  <a href=/tag/{{tag}}>{{tag}}</a>{{end}}<br>
+</div>{{end}}
diff --git a/_layout/head_katex.html b/_layout/head_katex.html
deleted file mode 100644
index 755f249..0000000
--- a/_layout/head_katex.html
+++ /dev/null
@@ -1 +0,0 @@
-<link rel="stylesheet" href="/libs/katex/katex.min.css">
diff --git a/_layout/page_foot.html b/_layout/page_foot.html
index 817742f..6a9431a 100644
--- a/_layout/page_foot.html
+++ b/_layout/page_foot.html
@@ -1,11 +1,9 @@
 <div class=page-foot>
-  <div class=copyright>
-    &copy; 2019&ndash;2021 {{fill author}};
-    See <a href=/COPYING>license terms</a><br>
-    {{isnotpage /tag/*}}Last modified: {{author_date}};  View
-    <a href=https://git.sr.ht/~cnx/site/tree/main/item/{{fill fd_rpath}}>page
-    source</a><br>{{end}}
-    A website by <a href=https://julialang.org>Julia</a>
-    <a href=https://franklinjl.org>Franklin</a>
-  </div>
+  &copy; 2019&ndash;2021 {{author}};
+  See <a href=/COPYING>license terms</a><br>
+  {{isnotpage /tag/*}}Last modified: {{author_date}};  View
+  <a href=https://git.sr.ht/~cnx/site/tree/main/item/{{fd_rpath}}>page
+  source</a><br>{{end}}
+  A website by <a href=https://julialang.org>Julia</a>
+  <a href=https://franklinjl.org>Franklin</a>
 </div>
diff --git a/_layout/tag.html b/_layout/tag.html
index b815535..fb18574 100644
--- a/_layout/tag.html
+++ b/_layout/tag.html
@@ -3,13 +3,13 @@
 <meta charset=UTF-8>
 <meta name=viewport content='width=device-width, initial-scale=1'>
 <link rel=stylesheet href=/css/style.css>
-<title>Tag: {{fill fd_tag}}</title>
+<title>Tag: {{fd_tag}}</title>
 <body>
-  {{insert header.html}}
-  <div class=franklin-content>
-    <h1>Tag: {{fill fd_tag}}</h1>
-    {{taglist}}
-    {{insert page_foot.html}}
-  </div>
+{{insert header.html}}
+<div class=franklin-content>
+  <h1>Tag: {{fd_tag}}</h1>
+  {{taglist}}
+  {{insert page_foot.html}}
+</div>
 </body>
 </html>
diff --git a/blog/2020/gsoc/article/1.md b/blog/2020/gsoc/article/1.md
index b98e2d5..7085182 100644
--- a/blog/2020/gsoc/article/1.md
+++ b/blog/2020/gsoc/article/1.md
@@ -1,10 +1,9 @@
 +++
+title = "Unexpected Things When You're Expecting"
 rss = "GSoC 2020: Unexpected Things When You're Expecting"
 date = Date(2020, 6, 9)
+tags = ["gsoc", "pip", "python"]
 +++
-@def tags = ["pip", "gsoc"]
-
-# Unexpected Things When You're Expecting
 
 Hi everyone, I hope that you are all doing well and wishes you all good health!
 The last week has not been really kind to me with a decent amount of
diff --git a/blog/2020/gsoc/article/2.md b/blog/2020/gsoc/article/2.md
index 3bb3a2c..324bd92 100644
--- a/blog/2020/gsoc/article/2.md
+++ b/blog/2020/gsoc/article/2.md
@@ -1,10 +1,9 @@
 +++
+title = "The Wonderful Wizard of O'zip"
 rss = "GSoC 2020: The Wonderful Wizard of O'zip"
 date = Date(2020, 6, 22)
+tags = ["gsoc", "pip", "python"]
 +++
-@def tags = ["pip", "gsoc"]
-
-# The Wonderful Wizard of O'zip
 
 > Never give up... No one knows what's going to happen next.
 
diff --git a/blog/2020/gsoc/article/3.md b/blog/2020/gsoc/article/3.md
index 175486c..9527ecd 100644
--- a/blog/2020/gsoc/article/3.md
+++ b/blog/2020/gsoc/article/3.md
@@ -1,10 +1,9 @@
 +++
+title = "I'm Not Drowning On My Own"
 rss = "GSoC 2020: I'm Not Drowning On My Own"
 date = Date(2020, 7, 6)
+tags = ["gsoc", "pip", "python"]
 +++
-@def tags = ["pip", "gsoc"]
-
-# I'm Not Drowning On My Own
 
 \toc
 
diff --git a/blog/2020/gsoc/article/4.md b/blog/2020/gsoc/article/4.md
index 5a1cf50..1b4dc9a 100644
--- a/blog/2020/gsoc/article/4.md
+++ b/blog/2020/gsoc/article/4.md
@@ -1,10 +1,9 @@
 +++
-rss = "GSoC 2020: I've Walked 500 Miles..."
+title = "I've Walked 500 Miles…"
+rss = "GSoC 2020: I've Walked 500 Miles…"
 date = Date(2020, 7, 20)
+tags = ["gsoc", "pip", "python"]
 +++
-@def tags = ["pip", "gsoc"]
-
-# I've Walked 500 Miles...
 
 > ... and I would walk 500 more\
 > Just to be the man who walks a thousand miles\
diff --git a/blog/2020/gsoc/article/5.md b/blog/2020/gsoc/article/5.md
index 5404089..8658d9a 100644
--- a/blog/2020/gsoc/article/5.md
+++ b/blog/2020/gsoc/article/5.md
@@ -1,10 +1,9 @@
 +++
+title = "Sorting Things Out"
 rss = "GSoC 2020: Sorting Things Out"
 date = Date(2020, 8, 3)
+tags = ["gsoc", "pip", "python"]
 +++
-@def tags = ["pip", "gsoc"]
-
-# Sorting Things Out
 
 Hi!  I really hope that everyone reading this is still doing okay,
 and if that isn't the case, I wish you a good day!
diff --git a/blog/2020/gsoc/article/6.md b/blog/2020/gsoc/article/6.md
index 40caad5..f528a97 100644
--- a/blog/2020/gsoc/article/6.md
+++ b/blog/2020/gsoc/article/6.md
@@ -1,10 +1,9 @@
 +++
+title = "Parallelizing Wheel Downloads"
 rss = "GSoC 2020: Parallelizing Wheel Downloads"
 date = Date(2020, 8, 17)
+tags = ["gsoc", "pip", "python"]
 +++
-@def tags = ["pip", "gsoc"]
-
-# Parallelizing Wheel Downloads
 
 > And now it's clear as this promise\
 > That we're making\
diff --git a/blog/2020/gsoc/article/7.md b/blog/2020/gsoc/article/7.md
index c574865..c13d0db 100644
--- a/blog/2020/gsoc/article/7.md
+++ b/blog/2020/gsoc/article/7.md
@@ -1,10 +1,9 @@
 +++
+title = "Outro"
 rss = "GSoC 2020: Outro"
 date = Date(2020, 8, 31)
+tags = ["gsoc", "pip", "python"]
 +++
-@def tags = ["pip", "gsoc"]
-
-# Outro
 
 > Steamed fish was amazing, matter of fact\
 > Let me get some jerk chicken to go\
diff --git a/blog/2020/gsoc/checkin/1.md b/blog/2020/gsoc/checkin/1.md
index 8c3c680..da54bd9 100644
--- a/blog/2020/gsoc/checkin/1.md
+++ b/blog/2020/gsoc/checkin/1.md
@@ -1,10 +1,9 @@
 +++
+title = "First Check-In"
 rss = "GSoC 2020: First Check-In"
 date = Date(2020, 6, 1)
+tags = ["gsoc", "pip"]
 +++
-@def tags = ["pip", "gsoc"]
-
-# First Check-In
 
 Hi everyone, I am McSinyx, a Vietnamese undergraduate student
 who loves [free software].  This summer I am working with
diff --git a/blog/2020/gsoc/checkin/2.md b/blog/2020/gsoc/checkin/2.md
index 288f737..7b214e2 100644
--- a/blog/2020/gsoc/checkin/2.md
+++ b/blog/2020/gsoc/checkin/2.md
@@ -1,10 +1,9 @@
 +++
+title = "Second Check-In"
 rss = "GSoC 2020: Second Check-In"
 date = Date(2020, 6, 15)
+tags = ["gsoc", "pip"]
 +++
-@def tags = ["pip", "gsoc"]
-
-# Second Check-In
 
 Hi everyone and may the odds ever in your favor, especially during this
 tough time!
diff --git a/blog/2020/gsoc/checkin/3.md b/blog/2020/gsoc/checkin/3.md
index 290d5b8..dd013d8 100644
--- a/blog/2020/gsoc/checkin/3.md
+++ b/blog/2020/gsoc/checkin/3.md
@@ -1,10 +1,9 @@
 +++
+title = "Third Check-In"
 rss = "GSoC 2020: Third Check-In"
 date = Date(2020, 6, 29)
+tags = ["gsoc", "pip"]
 +++
-@def tags = ["pip", "gsoc"]
-
-# Third Check-In
 
 Holla, holla, holla!  Last seven days has not been a really productive week
 for me, though I think there are still some nice things to share with
diff --git a/blog/2020/gsoc/checkin/4.md b/blog/2020/gsoc/checkin/4.md
index c2c058c..2f72ca3 100644
--- a/blog/2020/gsoc/checkin/4.md
+++ b/blog/2020/gsoc/checkin/4.md
@@ -1,10 +1,9 @@
 +++
+title = "Fourth Check-In"
 rss = "GSoC 2020: Fourth Check-In"
 date = Date(2020, 7, 13)
+tags = ["gsoc", "pip"]
 +++
-@def tags = ["pip", "gsoc"]
-
-# Fourth Check-In
 
 Hello there! I'm having my second year's last exam tomorrow,
 but it [feels like summer] already!  I've been finalizing quite a few things
diff --git a/blog/2020/gsoc/checkin/5.md b/blog/2020/gsoc/checkin/5.md
index 5e50f67..e957f17 100644
--- a/blog/2020/gsoc/checkin/5.md
+++ b/blog/2020/gsoc/checkin/5.md
@@ -1,10 +1,9 @@
 +++
+title = "Fifth Check-In"
 rss = "GSoC 2020: Fifth Check-In"
 date = Date(2020, 7, 27)
+tags = ["gsoc", "pip"]
 +++
-@def tags = ["pip", "gsoc"]
-
-# Fifth Check-In
 
 Hello and I hope y'all are still doing well!
 
diff --git a/blog/2020/gsoc/checkin/6.md b/blog/2020/gsoc/checkin/6.md
index aea9d5a..0db97d2 100644
--- a/blog/2020/gsoc/checkin/6.md
+++ b/blog/2020/gsoc/checkin/6.md
@@ -1,10 +1,9 @@
 +++
+title = "Sixth Check-In"
 rss = "GSoC 2020: Sixth Check-In"
 date = Date(2020, 8, 10)
+tags = ["gsoc", "pip"]
 +++
-@def tags = ["pip", "gsoc"]
-
-# Sixth Check-In
 
 Hello there!
 
diff --git a/blog/2020/gsoc/checkin/7.md b/blog/2020/gsoc/checkin/7.md
index b87a7fd..f320b37 100644
--- a/blog/2020/gsoc/checkin/7.md
+++ b/blog/2020/gsoc/checkin/7.md
@@ -1,10 +1,9 @@
 +++
+title = "Final Check-In"
 rss = "GSoC 2020: Final Check-In"
 date = Date(2020, 8, 24)
+tags = ["gsoc", "pip"]
 +++
-@def tags = ["pip", "gsoc"]
-
-# Final Check-In
 
 Hello there!
 
diff --git a/blog/2020/gsoc/index.md b/blog/2020/gsoc/index.md
index b1c1a1d..0288385 100644
--- a/blog/2020/gsoc/index.md
+++ b/blog/2020/gsoc/index.md
@@ -1,13 +1,12 @@
 +++
+title = "Google Summer of Code 2020"
 rss = "GSoC 2020 final report"
 date = Date(2020, 8, 31)
+tags = ["fun", "gsoc", "pip"]
 internship = "https://summerofcode.withgoogle.com/archive/2020/projects/6238594655584256"
 benchmark = "/blog/2020/gsoc/blog20200831/#the_benchmark"
 python_gsoc = "https://blogs.python-gsoc.org/en/mcsinyxs-blog"
 +++
-@def tags = ["fun", "pip", "gsoc"]
-
-# Google Summer of Code 2020
 
 In the summer of 2020, I worked with the contributors of `pip`,
 trying to improve the networking performance of the package manager.
diff --git a/blog/butter.md b/blog/butter.md
index ac25e32..3d5ac6b 100644
--- a/blog/butter.md
+++ b/blog/butter.md
@@ -1,11 +1,10 @@
 +++
+title = "NixOS on Btrfs+tmpfs"
 rss = "How I reinstalled NixOS on Btrfs with an amnesiac root
        and backed up my data"
 date = Date(2021, 11, 14)
+tags = ["btrfs", "fun", "nixos", "backup"]
 +++
-@def tags = ["fun", "nixos", "btrfs", "tmpfs", "backup", "luks"]
-
-# NixOS on Btrfs+tmpfs
 
 In 2018, dad bought me a new laptop to replace the good ole Compaq nx7010
 whose screen unfortunately got infected by some sort of microbe and dieded
diff --git a/blog/conseq.md b/blog/conseq.md
index 1891522..5b843eb 100644
--- a/blog/conseq.md
+++ b/blog/conseq.md
@@ -1,10 +1,9 @@
 +++
+title = "Infinite Sequences: A Case Study in Functional Python"
 rss = "SICP subsection 3.5.2 in Python"
 date = Date(2019, 2, 28)
+tags = ["fun", "math", "python", "sicp"]
 +++
-@def tags = ["sicp", "fun", "python", "calculus"]
-
-# Infinite Sequences: A Case Study in Functional Python
 
 In this article, we will only consider sequences defined by a function
 whose domain is a subset of the set of all integers.  Such sequences will be
diff --git a/blog/nopoo.md b/blog/nopoo.md
index 9ed15ac..60a818f 100644
--- a/blog/nopoo.md
+++ b/blog/nopoo.md
@@ -1,10 +1,9 @@
 +++
+title = "To Poo or Not to Poo"
 rss = "Me experimenting with #nopoo"
 date = Date(2021, 5, 23)
+tags = ["hair", "lyf", "poo"]
 +++
-@def tags = ["hair", "poo", "lyf"]
-
-# To Poo or Not to Poo
 
 Late April 2021, Việt Nam witnessed the beginning of the fourth wave
 of SARS-CoV-2 after a few months without any community case.  Soon enough,
diff --git a/blog/system.md b/blog/system.md
index 1a9af18..9870c13 100644
--- a/blog/system.md
+++ b/blog/system.md
@@ -1,10 +1,9 @@
 +++
+title = "System Cascade Connection"
 rss = "Properties of cascade connected systems analyzed via anonymous functions"
 date = Date(2020, 4, 15)
+tags = ["fun", "math"]
 +++
-@def tags = ["system", "fun", "anonymous"]
-
-# System Cascade Connection
 
 Given two discrete-time systems $A$ and $B$ connected in cascade to form
 a new system $C = x \mapsto B(A(x))$, we examine the following properties:
diff --git a/blog/teredo.md b/blog/teredo.md
index 03ad055..17f3bf3 100644
--- a/blog/teredo.md
+++ b/blog/teredo.md
@@ -1,10 +1,9 @@
 +++
+title = "Teredo Tunnel Simulation"
 rss = "Teredo tunnel simulation in virtual machines"
 date = Date(2020, 7, 3)
+tags = ["fun", "ipv6", "tunnel"]
 +++
-@def tags = ["ipv6", "tunnel", "fun"]
-
-# Teredo Tunnel Simulation
 
 Internet Protocol version 6 (IPv6), the most recent version of
 the Internet Protocol, was developed by the IETF to deal with
diff --git a/blog/threa.md b/blog/threa.md
index cbcc621..9cad466 100644
--- a/blog/threa.md
+++ b/blog/threa.md
@@ -1,10 +1,9 @@
 +++
+title = "Writing a Clipboard Manager"
 rss = "Raku's concision demonstrated in form of a tutorial"
 date = Date(2021, 7, 3)
+tags = ["clipboard", "fun", "raku"]
 +++
-@def tags = ["fun", "raku", "clipboard"]
-
-# Writing a Clipboard Manager
 
 !!! note "A word of protest:"