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: diff --git a/src/presentation-markup.html b/src/presentation-markup.html index 9499547f..1359ffd5 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 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: 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 -