From: Ben Harris <bjh21@bjh21.me.uk>
Date: Thu, 3 Oct 2024 23:30:30 +0000 (+0100)
Subject: CSS: switch to monospace
X-Git-Tag: bedstead-002.008~2
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~bjharris/git?a=commitdiff_plain;h=0cd03defcae01e9fb0a89d54acd760ff4a71b463;p=bedstead-debian.git

CSS: switch to monospace

Safari badly misdisplays Bedstead in proportional mode.  This is
caused by a bug in WebKit, and I haven't found an acceptable
workaround.  Thus, I think the best thing to do is to turn off
proportional spacing on the Web page entirely.  I think it looks nice,
but even I'll admit that it's a little too tight, and I know others
prefer the monospaced version.

Also, I can't think of a way that a real chip anything like the
SAA5050 could produce proportionally-spaced text.  It's fundamentally
based on getting fed character data at a constant 1 MHz.  There's no
way it can ask for a character early because the previous one was
narrow.
---

diff --git a/bedstead.css b/bedstead.css
index f0c1cce..8e9227e 100644
--- a/bedstead.css
+++ b/bedstead.css
@@ -3,21 +3,19 @@
 /* Make Bedstead usable through font-* properties. */
 @import url(bedstead-faces.css);
 
-/* Use Bedstead with proportional spacing for everything. */
+/* Use Bedstead for everything. */
 body {
     font-family: Bedstead;
     font-size: 20px;
-    font-feature-settings: "palt";
     font-synthesis: none;
     margin: 8px;
     margin-left: 32px;
     max-width: 60em;
 }
 
-/* Except where it's conventional to use a monospaced version. */
+/* But fall back to a monospace font where appropriate. */
 kbd, code, tt, pre {
     font-family: Bedstead, monospace;
-    font-feature-settings: normal;
 }
 
 /* Don't use any leading in <pre> so that mosaic graphics work. */
@@ -68,7 +66,6 @@ img {
  */
 .text-sample {
     font-size: 50px;
-    font-feature-settings: normal;
     /* These may be overridden by the @media rule below. */
     display: block;
     speak: never;