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.
This commit is contained in:
Ben Harris 2024-10-04 00:30:30 +01:00
parent d23a7c9b5c
commit 0cd03defca

View File

@ -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;