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 f0c1cce1a7fd3316787e09a35382df111eacce1b..8e9227e1ec802877fbba516b54ea29d73fc95dba 100644 (file)
--- 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;