Excessive indentation in LaTeX/PDF for dl with short title

10 views
Skip to first unread message

Sean Fitzpatrick

unread,
Jun 24, 2024, 11:52:16 PMJun 24
to PreTeXt support
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>?

Screenshot from 2024-06-24 21-46-10.png

Rob Beezer

unread,
Jun 25, 2024, 11:43:52 AMJun 25
to pretext...@googlegroups.com
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

unread,
Jun 25, 2024, 12:08:43 PMJun 25
to pretext...@googlegroups.com

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.
Reply all
Reply to author
Forward
0 new messages