From 1cf493d2813b79378f41fe189170128a2d7fd805 Mon Sep 17 00:00:00 2001 From: David Carlisle Date: Sat, 15 Mar 2025 13:40:25 +0000 Subject: [PATCH 1/3] global scriptlevel for #388 --- src/presentation-markup.html | 30 ++++++------------------------ 1 file changed, 6 insertions(+), 24 deletions(-) diff --git a/src/presentation-markup.html b/src/presentation-markup.html index 9499547f..b88bcb27 100644 --- a/src/presentation-markup.html +++ b/src/presentation-markup.html @@ -546,9 +546,12 @@

Displaystyle and Scriptlevel

for some or all of their arguments. (See the description for each element for the specific rules used.) They also may be set explicitly via the displaystyle and scriptlevel - attributes on the mstyle element - or the displaystyle attribute of mtable. - In all other cases, they are inherited from the node's parent.

+ attributes which are allowed on all presentation elements, see . + If set explicitly, the setting applies to the current element and will be used as the default + for child elements unless set by further application of these rules. + Note that if scriptlevel if used with a `+` or `-` sign then the effective `scriptlevel` is incremented or decremented by the value. + If scriptlevel if used with an unsigned integer, the effective `scriptlevel` is set to that value. + In all other cases, the values are inherited from the node's parent.

The displaystyle affects the amount of vertical space used to lay out a formula: when true, the more spacious layout of displayed equations is used, @@ -4104,28 +4107,7 @@

Attributes
- - scriptlevel - ( "+" | "-" )? unsigned-integer - inherited - - - - Changes the scriptlevel in effect for the children. - When the value is given without a sign, it sets scriptlevel to the specified value; - when a sign is given, it increments ("+") or decrements ("-") the current value. - (Note that large decrements can result in negative values of scriptlevel, - but these values are considered legal.) - See . - - - - - displaystyle - [=boolean=] - inherited - From 1184c371f2b7920b7f583fe1da8a6ccfcf612992 Mon Sep 17 00:00:00 2001 From: David Carlisle Date: Sat, 15 Mar 2025 13:58:37 +0000 Subject: [PATCH 2/3] don't attempt to push to gh-pages on PRs --- .github/workflows/auto-publish.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/workflows/auto-publish.yml b/.github/workflows/auto-publish.yml index 0b26edf7..edded522 100644 --- a/.github/workflows/auto-publish.yml +++ b/.github/workflows/auto-publish.yml @@ -4,7 +4,6 @@ # https://w3c.github.io/spec-prod/#examples name: CI on: - pull_request: {} push: branches: [main] jobs: From 82484dd21b33d0445b349145b910ffae19c7eb47 Mon Sep 17 00:00:00 2001 From: David Carlisle Date: Wed, 26 Mar 2025 21:17:51 +0000 Subject: [PATCH 3/3] if to is twice, from review --- src/presentation-markup.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/presentation-markup.html b/src/presentation-markup.html index b88bcb27..1359ffd5 100644 --- a/src/presentation-markup.html +++ b/src/presentation-markup.html @@ -549,8 +549,8 @@

Displaystyle and Scriptlevel

attributes which are allowed on all presentation elements, see . If set explicitly, the setting applies to the current element and will be used as the default for child elements unless set by further application of these rules. - Note that if scriptlevel if used with a `+` or `-` sign then the effective `scriptlevel` is incremented or decremented by the value. - If scriptlevel if used with an unsigned integer, the effective `scriptlevel` is set to that value. + Note that if scriptlevel is used with a `+` or `-` sign then the effective `scriptlevel` is incremented or decremented by the value. + If scriptlevel is used with an unsigned integer, the effective `scriptlevel` is set to that value. In all other cases, the values are inherited from the node's parent.

The displaystyle affects the amount of vertical space used to lay out a formula: