"cover image" for html

[Alex Jordan]

The top level page of this book uses a non schema compliant technique to get an image to appear:

https://pccmathsac.github.io/MathInSocietyPCC/root-1-2.html

Would there be any concerns if I added this as a publication file feature? We have somewhat similar things for a PDF cover page and an epub cover page. This one would need different publisher attention to the image dimensions, and developer attention to CSS across themes.

[Rob Beezer]

("Sent" this 4 days ago, but it didn't go out. I have a long-term problem
posting to Google Groups. Update: I am looking at this now.)

Yes, cover images have been considered for PDF, EPUB, etc. and is a bit of a mess.

So I will put it onto my list to harmonize all this. Well, already on my list.
I'll move it up.

Your suggestion for HTML is to place it on the summary page for #frontmatter?
How about an #article (no such thing?). Or chunk level 0?

Rob

On 8/23/26 10:28, Alex Jordan wrote:
> The top level page of this book uses a non schema compliant technique to get an
> image to appear:
>

> https://pccmathsac.github.io/MathInSocietyPCC/root-1-2.html <https://
> pccmathsac.github.io/MathInSocietyPCC/root-1-2.html>

>
> Would there be any concerns if I added this as a publication file feature? We
> have somewhat similar things for a PDF cover page and an epub cover page. This
> one would need different publisher attention to the image dimensions, and
> developer attention to CSS across themes.
>

> --
> 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 <mailto:pretext-
> dev+uns...@googlegroups.com>.
> To view this discussion visit https://groups.google.com/d/msgid/pretext-dev/
> CA%2BR-jrfz1t1XrGd%2B%2BUEeX83qv85hMDzg-BVukcWXE5CThp8mQw%40mail.gmail.com
> <https://groups.google.com/d/msgid/pretext-dev/CA%2BR-
> jrfz1t1XrGd%2B%2BUEeX83qv85hMDzg-BVukcWXE5CThp8mQw%40mail.gmail.com?
> utm_medium=email&utm_source=footer>.