diff options
-rw-r--r-- | _css/style.css | 76 | ||||
-rw-r--r-- | _layout/foot.html | 14 | ||||
-rw-r--r-- | _layout/foot_highlight.html | 2 | ||||
-rw-r--r-- | _layout/foot_katex.html | 3 | ||||
-rw-r--r-- | _layout/head.html | 25 | ||||
-rw-r--r-- | _layout/head_katex.html | 1 | ||||
-rw-r--r-- | _layout/page_foot.html | 16 | ||||
-rw-r--r-- | _layout/tag.html | 14 | ||||
-rw-r--r-- | blog/2020/gsoc/article/1.md | 5 | ||||
-rw-r--r-- | blog/2020/gsoc/article/2.md | 5 | ||||
-rw-r--r-- | blog/2020/gsoc/article/3.md | 5 | ||||
-rw-r--r-- | blog/2020/gsoc/article/4.md | 7 | ||||
-rw-r--r-- | blog/2020/gsoc/article/5.md | 5 | ||||
-rw-r--r-- | blog/2020/gsoc/article/6.md | 5 | ||||
-rw-r--r-- | blog/2020/gsoc/article/7.md | 5 | ||||
-rw-r--r-- | blog/2020/gsoc/checkin/1.md | 5 | ||||
-rw-r--r-- | blog/2020/gsoc/checkin/2.md | 5 | ||||
-rw-r--r-- | blog/2020/gsoc/checkin/3.md | 5 | ||||
-rw-r--r-- | blog/2020/gsoc/checkin/4.md | 5 | ||||
-rw-r--r-- | blog/2020/gsoc/checkin/5.md | 5 | ||||
-rw-r--r-- | blog/2020/gsoc/checkin/6.md | 5 | ||||
-rw-r--r-- | blog/2020/gsoc/checkin/7.md | 5 | ||||
-rw-r--r-- | blog/2020/gsoc/index.md | 5 | ||||
-rw-r--r-- | blog/butter.md | 5 | ||||
-rw-r--r-- | blog/conseq.md | 5 | ||||
-rw-r--r-- | blog/nopoo.md | 5 | ||||
-rw-r--r-- | blog/system.md | 5 | ||||
-rw-r--r-- | blog/teredo.md | 5 | ||||
-rw-r--r-- | blog/threa.md | 5 |
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> - © 2019–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> + © 2019–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:" |