[DEPRECATE] HTML navigation button style

6 views
Skip to first unread message

Rob Beezer

unread,
May 5, 2023, 5:29:22 PM5/5/23
to pretext-...@googlegroups.com
The publisher entry html/navigation/@style has been removed, and you will get
warnings if you are using it. (Remove the entry to stop the warnings.)

Why? The "compact" button style is no longer supported in the CSS, so only
"full" was left. Which is what everybody gets now.

Rob
Reply all
Reply to author
Forward
0 new messages