Web-Projects/blog-static
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Make minor edits to article and update theme

Browse Source 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
This commit is contained in:
Danila Fedorin 2024-06-24 19:59:51 -07:00
parent 7b71ec4402
commit 4fd6dd5606
2 changed files with 10 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
content/blog/blog_microfeatures/index.md
View File

@ -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!

2
themes/vanilla

@ -1 +1 @@
Subproject commit f4e0bed9cdeb761d9eb85fc5ef6ff1f4fe86acea
Subproject commit 5b5b9715381cd42e03f37d2856ebdf40911ade58