new typography for deemphasised infolines

blog/magic.md

@@ -30,7 +30,7 @@ The way more or less every magic system, including "hard" ones, leaves its opera
 6. There are many, many effects which are possible, assigned through something random like a hash function, and people only know of/care about/use a small fraction of them. This does still preclude complex effects like healing unless there is also something biasing them toward being useful. [HPMoR](https://www.facebook.com/509414227/posts/10157671264984228/) does something like this and this is (kind of) the [Unsong](https://unsongbook.com/) magic system.
 7. Simulationism - the universe is simulated using high-level approximations, and there's some unintended behaviour in edge cases because it was poorly programmed. Admittedly, this is kind of boring as a solution to anything.
 
-Another somewhat related axis along which magic systems can vary is the ease of replicating a spell once it has been done, which has important economic consequences. At one extreme, once it has been discovered, anyone can cheaply use it (quite like software), and at the other, any new deployment requires large amounts of bespoke work (like traditional construction). Most works seem to make it like deep learning models or general consumer products - there are big initial R&D costs, and nontrivial but relatively small unit/deployment costs.
+Another somewhat related axis along which magic systems can vary is the ease of replicating a spell once it has been created, which has important economic consequences. At one extreme, once it has been discovered, anyone can cheaply use it (quite like software), and at the other, any new deployment requires large amounts of bespoke work (like traditional construction). Most works seem to make it like deep learning models or general consumer products - there are big initial R&D costs, and nontrivial but relatively small unit/deployment costs.
 
 This is more of a set of somewhat linked ramblings than a cohesive post like I usually try to do, and as such I reserve the right to update it at random, more so than the other ones.
 

src/index.js

@@ -398,7 +398,7 @@ const doImages = async () => {
     copyAsset("images")
     copyAsset("titillium-web.woff2")
     copyAsset("titillium-web-semibold.woff2")
-    copyAsset("share-tech-mono.woff2")
+    copyAsset("miracode.woff2")
     globalData.images = {}
     await Promise.all(
         (await fse.readdir(path.join(assetsDir, "images"), { encoding: "utf-8" })).map(async image => {

src/style.sass

@@ -27,12 +27,12 @@ $navbar-width: 20rem
     unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD
 
 @font-face
-    font-family: 'Share Tech Mono'
+    font-family: 'Miracode'
     font-style: normal
     font-weight: 400
     font-display: swap
-    src: url(/assets/share-tech-mono.woff2) format('woff2')
-    unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD
+    src: url(/assets/miracode.woff2) format('woff2')
+    unicode-range: U+0000-00A0, U+A2-A9, U+AC-AE, U+00D7, U+00F7, U+FEFF, U+FFFD
 
 body
     margin: 0
@@ -40,7 +40,9 @@ body
     line-height: 1.3
 
 pre, code, .deemph
-    font-family: 'Share Tech Mono', monospace
+    font-family: 'Miracode', monospace
+.deemph
+    font-size: 0.9em
 
 a
     text-decoration: none

templates/layout.pug

@@ -15,7 +15,7 @@ mixin image(src)
 doctype html
 html(lang="en")
     head
-        link(rel="preload", href="/assets/share-tech-mono.woff2", as="font", crossorigin="anonymous")
+        link(rel="preload", href="/assets/miracode.woff2", as="font", crossorigin="anonymous")
         link(rel="preload", href="/assets/titillium-web-semibold.woff2", as="font", crossorigin="anonymous")
         link(rel="preload", href="/assets/titillium-web.woff2", as="font", crossorigin="anonymous")
         title= `${title} @ ${name}`