From 4fd6dd5606d6df2538fcacd7fdb767cd72464698 Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Mon, 24 Jun 2024 19:59:51 -0700 Subject: [PATCH] Make minor edits to article and update theme Signed-off-by: Danila Fedorin --- content/blog/blog_microfeatures/index.md | 12 +++++++++--- themes/vanilla | 2 +- 2 files changed, 10 insertions(+), 4 deletions(-) diff --git a/content/blog/blog_microfeatures/index.md b/content/blog/blog_microfeatures/index.md index 148b61d..a5fd34b 100644 --- a/content/blog/blog_microfeatures/index.md +++ b/content/blog/blog_microfeatures/index.md @@ -2,6 +2,7 @@ title: "Microfeatures I Love in Blogs and Personal Websites" date: 2024-06-23T11:03:10-07:00 tags: ["Website"] +favorite: true description: "In this post, I talk about pleasant but seemingly minor features in personal sites" --- @@ -282,7 +283,7 @@ I suspect is buggy in my browser. {{< figure src="jamesg-external.png" class="fullwide" caption="An external link on James' blog" alt="An external link on James' blog. The link is displayed as normal, and an additional diagonal arrow aiming up and to the right and surrounded by a square is displayed to the right of the link text." >}} -Some websites (this one included) also make such links open in a new tab +Some websites (~~this one included~~) also make such links open in a new tab automatically. That way, you tend to not lose the original article by clicking through one of its references. @@ -291,11 +292,16 @@ through one of its references. the icon for external links depending on the destination. For instance, links to Wikipedia articles are stylized with a little "W", links to Haskell.org are stylized using a lambda (\(\lambda\)), and links to -`.zip` files have a little archive icon. There are more; I've found +`.zip` files have a little archive icon. There are more; ~~I've found the [link processing code on GitHub](https://github.com/gwern/gwern.net/blob/959ba9c50d327a960e07241b2c7f13630bf8b80c/js/old/links.js), -and even the [list of websites that get their own icons](https://github.com/gwern/gwern.net/blob/959ba9c50d327a960e07241b2c7f13630bf8b80c/js/old/links.js#L380-L387). +and even the [list of websites that get their own icons](https://github.com/gwern/gwern.net/blob/959ba9c50d327a960e07241b2c7f13630bf8b80c/js/old/links.js#L380-L387).~~ I could not find a verbal description, though. +__Edit:__ Gwern has pointed out that the links I provided go to obsolete code. +The link processing functionality is [documented in comments here](https://github.com/gwern/gwern.net/blob/959ba9c50d327a960e07241b2c7f13630bf8b80c/build/LinkIcon.hs#L15) +and the [link icon rules are here](https://github.com/gwern/gwern.net/blob/959ba9c50d327a960e07241b2c7f13630bf8b80c/build/Config/LinkIcon.hs#L83). +A [non-code list of icons](https://gwern.net/lorem-link#link-icons) exists too. + Now for some pictures. Here are a ton of links from the ["About"](https://gwern.net/about) page! diff --git a/themes/vanilla b/themes/vanilla index f4e0bed..5b5b971 160000 --- a/themes/vanilla +++ b/themes/vanilla @@ -1 +1 @@ -Subproject commit f4e0bed9cdeb761d9eb85fc5ef6ff1f4fe86acea +Subproject commit 5b5b9715381cd42e03f37d2856ebdf40911ade58