[dredmorbius]

I've just tweaked the page with:

    body {
	    width: auto;
	    margin: 2em auto;
	    max-width: 40em;
	    font-size: large;
	    line-height: 1.4;
	    background-color: #fffff8;
    }

    * {
	    line-height: 1.4;
    }