René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Weird monospace bug","articleBody":"I have some strange issues with the monospace fonts in Vivaldi (Chrome):\r\n\r\n![image](https://user-images.githubusercontent.com/1486942/199270913-47971303-9e00-491f-ad95-af4b027ea8b5.png)\r\n\r\n(https://docs.python.org/3/library/logging.html)\r\n\r\nNotice how the spacing is too large and numbers seem to be unicode symbols(?)\r\n\r\nIt looks fine in Firefox:\r\n![image](https://user-images.githubusercontent.com/1486942/199271027-ec4d277a-71bc-4bff-aa10-fcd4ed865a76.png)\r\n\r\nI can see there were some changes last year (#85, #87). If I change the CSS to:\r\n\r\n```css\r\ntt, code, pre {\r\n    font-family: monospace, monospace;\r\n    font-size: 96.5%;\r\n}\r\n```\r\n\r\nthis seems to fix my issue. Having just a single `monospace` causes the text size to be a bit strange.","author":{"url":"https://github.com/ZedThree","@type":"Person","name":"ZedThree"},"datePublished":"2022-11-01T15:28:33.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":6},"url":"https://github.com/98/python-docs-theme/issues/98"}