Switch font to Noto Sans
Noto Sans was another possible font that came up during the discussion around #52.
Arguments for it are:
- It has non-latin characters for which it would likely be a fallback for anyway, so the font style is consistent.
- It has a monospace variant, which Inter lacks.
- It has more thought-out non-ASCII latin characters than Inter. (see ЇЇ (GitLab uses Inter))
- The rendering issues that are visible with Inter are not present (or less so).