Excessive indentation in LaTeX/PDF for dl with short title

[Sean Fitzpatrick]

In APEX there is a <dl> that is *almost* an <ol>: the items are:

1.

2.

3.

4,5:

(These are explaining parts of a theorem, and parts 4 and 5 have the same explanation.)

I don't recall when this was authored, but presumably a <dl> was used because I don't think <ol> lets you do the "4,5" part. But the indentation for the list item titles seems like too much. Is there a way to do better?

Screenshot below. It probably seems worse than it is since there is already a wide left margin. Any thoughts on how to reduce the indentation, other than abandoning this peculiar list structure and moving to an <ol>?

[Rob Beezer]

Dear Sean,

I'd say the likelihood of having an "ol" have combined elements, like "4,5",
might be aboot equal to the likelihood of a Canadian team ever winning the
Stanley Cup ever again. (Wait: I was rooting for Edmonton last night!)

So, seriously, I think a "dl" is appropriate here. We allow for wide labels
with a hint in an attribute on the "dl". So you are getting the "narrowest"
labels now. I'm sure your extra-wide margin (Greg's?) is exacerbating the look.

I guess someone could implement the same hint also allowing for a "narrow" look?

Or, an expedient might be to say, "Explanation 1", ... , "Explanations 4, 5" and
see if that looks better and is even clearer about what is happening in the "dl".

If a "list" block were styled with a colored background and you put the "dl"
into that, you could add a title ("Explanations of Theorem X.Y.Z") and maybe the
indentation would look better. Or maybe worse.

Rob

> Screenshot from 2024-06-24 21-46-10.png
>
> --
> You received this message because you are subscribed to the Google Groups
> "PreTeXt support" group.
> To unsubscribe from this group and stop receiving emails from it, send an email
> to pretext-suppo...@googlegroups.com
> <mailto:pretext-suppo...@googlegroups.com>.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/pretext-support/a8576098-b208-4a22-99d7-bcc3e814486bn%40googlegroups.com <https://groups.google.com/d/msgid/pretext-support/a8576098-b208-4a22-99d7-bcc3e814486bn%40googlegroups.com?utm_medium=email&utm_source=footer>.

[Sean Fitzpatrick]

Thanks Rob.
I'm going to leave it and see if Greg notices.

To unsubscribe from this group and stop receiving emails from it, send an email to pretext-suppo...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/pretext-support/MTAwMDAwNC5iZWV6ZXI.1719330230%40quikprotect.