Consider changing to a more legible font in the document?

[LittleSound]

pinia.esm.dev
Some of this text, such as s, is difficult to read. Is a change of font being considered?

[posva]

This is completely subjective...

[baixiaoyu2997]

for non-native english people，like me， it's not friendly 。hard to know what letter this is。

[ghost]

you can try this in violentmonkey

// ==UserScript==
// @name        change pinia code's fonts
// @namespace   Violentmonkey Scripts
// @match       https://pinia.vuejs.org/*
// @grant       none
// @version     1.0
// @author      ruinb0w
// @description 3/8/2022, 11:48:46 AM
// ==/UserScript==

function changeFont() {
  const code_list = document.querySelectorAll("code");
  code_list.forEach((item) => {
    item.style.fontFamily = "monospace";
  });
}

const _wr = function (type) {
  const orig = history[type];
  return function () {
    console.log('arguments', arguments)
    const rv = orig.apply(this, arguments);
    const e = new Event(type);
    e.arguments = arguments;
    window.dispatchEvent(e);
  };
};
history.pushState = _wr("pushState");
history.replaceState = _wr("replaceState");

window.addEventListener("load", changeFont);
window.addEventListener("hashchange", changeFont)
window.addEventListener("replaceState", changeFont);
window.addEventListener("pushState", changeFont);

[Saman-Safaei]

I want this font ... But I don't know it's name

[dehood]

That makes us two!

[skuhnow]

Three

[tintin10q]

did anyone ever find the name?

[qunm00]

https://philpl.gumroad.com/l/dank-mono
Here you go. Recommend you guys to look into https://input.djr.com/

[jimoquinn]

The e is odd:

This one is also odd.

Not too odd, but I imagine it can be confusing.