Replacement for scriptminsize

• From: Lorenzo Bertini <lorenzobertini97@gmail.com>
• Date: Mon, 9 Oct 2023 16:42:11 +0200
• To: www-math@w3.org
• Message-ID: <CAKgVD0n8OvhuuW1degUTKt3Lv=1kPEJSD5WEN9fMO72COmmXXw@mail.gmail.com>

Dear list,

since scriptminsize as an mstyle attribute has been deprecated, what
is its proper replacement? I've seen that the talk was about
implementing it as a CSS property, but I can't find its name.

Thank you all in advance and best wishes,

Lorenzo

Received on Monday, 9 October 2023 14:42:55 UTC