Feature request from a student: adjustable line spacing

[Sean Fitzpatrick]

Hidden among the comments on my course evaluations from last term was a request from a student for PreTeXt: they felt that the text in HTML was too dense for them to read, and they wished they could double-space the text.

I don't know how hard that would be to implement, but if we are considering adding accessibility options, there is at least one person who would like to be able to adjust the spacing of the text.

[David W. Farmer]

I mocked up a demo of several readability options: line spacing,
font height and width, font style, reading ruler, letter spacing,
and a couple others. A drop-down had each property, and then
you could make the measure of that property larger or smaller.

I think the plan was to revisit that after we had dark mode and
maybe some other reader preferences.

Definitely we want to have something like this.

My old demo no longer exists (but it was really cool!)

David

> --
> You received this message because you are subscribed to the Google Groups "PreTeXt development"
> group.
> To unsubscribe from this group and stop receiving emails from it, send an email to
> pretext-dev...@googlegroups.com.
> To view this discussion visithttps://groups.google.com/d/msgid/pretext-dev/8b3e3716-f56e-4f12-ad54-1fb7cf37e53dn%40googlegroups.
> com.
>
>

[Sean Fitzpatrick]

This might be one of several really cool David Farmer demos I've seen that I hope will come to fruition some day

To view this discussion visit https://groups.google.com/d/msgid/pretext-dev/4470435e-92dc-2c58-2a74-2fae9075824b%40aimath.org.

[Rob Beezer]

On January 21, 2026 5:25:51 PM HST, "David W. Farmer" <far...@aimath.org> wrote:
>
>My old demo no longer exists (but it was really cool!)

But I think much of the code for that extra drop-down was removed in an isolated surgical commit, so it could be a headstart in bringing it back. Just for the record here.

Rob