@pretextbook/pretext-html 0.14.0 → 0.16.0

package/assets/xsl/pretext-revealjs.xsl

@@ -525,6 +525,107 @@ along with PreTeXt.  If not, see <http://www.gnu.org/licenses/>.
   </p>
 </xsl:template>
 
+<!-- A paragraph containing displays - lists ("ol", "ul", "dl"),   -->
+<!-- display mathematics ("md"), or code display ("cd") - cannot   -->
+<!-- be realized as a single HTML "p".  Each display renders as    -->
+<!-- an element that HTML forbids inside a "p" (a list, a "pre",   -->
+<!-- a "div" of online mathematics), and a browser recovers by     -->
+<!-- closing the paragraph at the display, leaving the remainder   -->
+<!-- orphaned outside any paragraph.  So, just as in the HTML      -->
+<!-- conversion, such a paragraph is exploded: each maximal run    -->
+<!-- of inline content becomes a "p" (an empty run produces        -->
+<!-- nothing at all), with the displays standing in between.       -->
+<!-- (With embedded mathematics a display is a "span", legal       -->
+<!-- within a "p" and block-level only by styling, but it is       -->
+<!-- exploded identically: the presentation is the same and the    -->
+<!-- template stays uniform.)                                      -->
+<!--                                                               -->
+<!-- This realization is demanded by the output format alone; it   -->
+<!-- is not the undoing of upstream normalization.  An author may  -->
+<!-- place a display mid-paragraph, so the explosion is necessary  -->
+<!-- even when no paragraph is ever manufactured.  Conversely,     -->
+<!-- when the assembly wraps a bare list on a "slide" in a         -->
+<!-- paragraph, so the internal tree presents the main grammar's   -->
+<!-- one shape to every consumer, that paragraph's inline runs     -->
+<!-- are all empty and the exploded output is exactly the bare     -->
+<!-- list again.  The two maneuvers are complementary: normalize   -->
+<!-- toward the grammar internally, adapt to the medium at output. -->
+<!--                                                               -->
+<!-- A paused paragraph must advance as a single unit, so its      -->
+<!-- exploded parts ride together in one container carrying the    -->
+<!-- "fragment" class.                                             -->
+<xsl:template match="p[ol|ul|dl|md[mrow]|cd]">
+    <xsl:choose>
+        <xsl:when test="@pause = 'yes'">
+            <div class="fragment">
+                <xsl:apply-templates select="." mode="exploded-paragraph"/>
+            </div>
+        </xsl:when>
+        <xsl:otherwise>
+            <xsl:apply-templates select="." mode="exploded-paragraph"/>
+        </xsl:otherwise>
+    </xsl:choose>
+</xsl:template>
+
+<!-- The explosion itself, patterned on the HTML conversion's      -->
+<!-- template for a "p" with displays, simplified: no HTML id, no  -->
+<!-- permalink, no knowl machinery on the pieces of a slide.       -->
+<xsl:template match="p" mode="exploded-paragraph">
+    <xsl:variable name="displays" select="ol|ul|dl|md[mrow]|cd"/>
+    <!-- content prior to the first display; if empty -->
+    <!-- we do not manufacture an empty paragraph     -->
+    <xsl:variable name="initial" select="$displays[1]/preceding-sibling::*|$displays[1]/preceding-sibling::text()"/>
+    <xsl:variable name="initial-content">
+        <xsl:apply-templates select="$initial"/>
+    </xsl:variable>
+    <!-- XSLT 1.0: RTF is just a string if not converted to node set -->
+    <xsl:if test="not($initial-content = '')">
+        <p>
+            <xsl:copy-of select="$initial-content"/>
+        </p>
+    </xsl:if>
+    <!-- for each display: the display itself, then trailing content -->
+    <xsl:for-each select="$displays">
+        <xsl:apply-templates select="."/>
+        <xsl:variable name="rightward" select="following-sibling::*|following-sibling::text()"/>
+        <xsl:variable name="next-display" select="following-sibling::*[self::ul or self::ol or self::dl or self::md[mrow] or self::cd][1]"/>
+        <xsl:choose>
+            <xsl:when test="$next-display">
+                <xsl:variable name="leftward" select="$next-display/preceding-sibling::*|$next-display/preceding-sibling::text()"/>
+                <!-- device below forms set intersection -->
+                <xsl:variable name="common" select="$rightward[count(. | $leftward) = count($leftward)]"/>
+                <xsl:variable name="common-content">
+                    <xsl:apply-templates select="$common"/>
+                </xsl:variable>
+                <xsl:if test="not($common-content = '')">
+                    <p>
+                        <!-- interstitial content arising from an authored -->
+                        <!-- "intertext" is marked, as in the HTML         -->
+                        <!-- conversion, for styling purposes              -->
+                        <xsl:if test="$common[self::pi:intertext]">
+                            <xsl:attribute name="class">
+                                <xsl:text>intertext</xsl:text>
+                            </xsl:attribute>
+                        </xsl:if>
+                        <xsl:copy-of select="$common-content"/>
+                    </p>
+                </xsl:if>
+            </xsl:when>
+            <xsl:otherwise>
+                <!-- finish the trailing content, if nonempty -->
+                <xsl:variable name="common-content">
+                    <xsl:apply-templates select="$rightward"/>
+                </xsl:variable>
+                <xsl:if test="not($common-content = '')">
+                    <p>
+                        <xsl:copy-of select="$common-content"/>
+                    </p>
+                </xsl:if>
+            </xsl:otherwise>
+        </xsl:choose>
+    </xsl:for-each>
+</xsl:template>
+
 <!-- Images get wrapped in a div with @class="fragment" if they are  -->
 <!-- paused                                                          -->
 <xsl:template match="image[not(ancestor::sidebyside) and (@pause='yes')]">

package/assets/xsl/pretext-text-utilities.xsl

@@ -1299,4 +1299,34 @@ along with PreTeXt.  If not, see <http://www.gnu.org/licenses/>.
     </xsl:choose>
 </xsl:template>
 
+<!-- Escape arbitrary text for a single-quoted CSS string:          -->
+<!-- backslash and apostrophe by a backslash, and a less-than by    -->
+<!-- its code point (with delimiting space).  The last means the    -->
+<!-- text can never terminate an enclosing HTML "style" element     -->
+<!-- prematurely, since an HTML parser ends such an element at a    -->
+<!-- literal "</style" no matter the surrounding CSS syntax.        -->
+<xsl:template name="css-string-escape">
+    <xsl:param name="text"/>
+    <xsl:if test="not($text = '')">
+        <xsl:variable name="first" select="substring($text, 1, 1)"/>
+        <xsl:choose>
+            <xsl:when test="$first = '\'">
+                <xsl:text>\\</xsl:text>
+            </xsl:when>
+            <xsl:when test='$first = "&apos;"'>
+                <xsl:text>\&apos;</xsl:text>
+            </xsl:when>
+            <xsl:when test="$first = '&lt;'">
+                <xsl:text>\3c </xsl:text>
+            </xsl:when>
+            <xsl:otherwise>
+                <xsl:value-of select="$first"/>
+            </xsl:otherwise>
+        </xsl:choose>
+        <xsl:call-template name="css-string-escape">
+            <xsl:with-param name="text" select="substring($text, 2)"/>
+        </xsl:call-template>
+    </xsl:if>
+</xsl:template>
+
 </xsl:stylesheet>

package/assets/xsl/publisher-variables.xsl

@@ -2672,6 +2672,80 @@ along with PreTeXt.  If not, see <http://www.gnu.org/licenses/>.
 </xsl:variable>
 <xsl:variable name="b-video-privacy" select="$embedded-video-privacy = 'yes'"/>
 
+<!--                           -->
+<!-- HTML DoenetML Coordinator -->
+<!--                           -->
+
+<!-- A page carrying many DoenetML activities used to start every one of  -->
+<!-- them the moment the page loaded, and then hold every one of them in  -->
+<!-- memory for as long as the reader stayed.  The "coordinator" is a     -->
+<!-- small script, served from the same CDN as the activities themselves, -->
+<!-- which takes charge of the activity "iframe"s on a page: it starts    -->
+<!-- them a couple at a time as the reader nears them, and puts away the  -->
+<!-- ones the reader has left well behind (saving a reader's work, and    -->
+<!-- restoring it on the way back).  A publisher who prefers the older    -->
+<!-- behavior can say "no" here.                                          -->
+<xsl:variable name="doenetml-coordinator">
+    <xsl:apply-templates select="$publisher-attribute-options/html/interactives/doenetml/pi:pub-attribute[@name='coordinator']" mode="set-pubfile-variable"/>
+</xsl:variable>
+<xsl:variable name="b-doenetml-coordinator" select="$doenetml-coordinator = 'yes'"/>
+
+<!-- Each DoenetML activity ordinarily gets a dedicated web worker to run -->
+<!-- in, which is the largest part of what an activity costs.  With the   -->
+<!-- coordinator in charge, the activities on a page can instead share a  -->
+<!-- pool of workers that the coordinator owns.  Only consulted when the  -->
+<!-- coordinator is in use.                                               -->
+<xsl:variable name="doenetml-shared-core-workers">
+    <xsl:apply-templates select="$publisher-attribute-options/html/interactives/doenetml/pi:pub-attribute[@name='shared-core-workers']" mode="set-pubfile-variable"/>
+</xsl:variable>
+<xsl:variable name="b-doenetml-shared-core-workers" select="$doenetml-shared-core-workers = 'yes'"/>
+
+<!-- How many DoenetML activities the coordinator keeps running at once,  -->
+<!-- and how many it allows to be starting up at once.  The defaults suit -->
+<!-- a reader on modest hardware; a publisher whose activities are small, -->
+<!-- or whose readers are known to have capable machines, may raise them. -->
+<!-- Freeform entries, validated here to positive integers: the script    -->
+<!-- reads each one as a number, and an unusable number would leave it    -->
+<!-- forever waiting for room, never starting any activity at all.        -->
+<xsl:variable name="doenetml-max-live-viewers-entered">
+    <xsl:apply-templates select="$publisher-attribute-options/html/interactives/doenetml/pi:pub-attribute[@name='max-live-viewers']" mode="set-pubfile-variable"/>
+</xsl:variable>
+<xsl:variable name="doenetml-max-live-viewers">
+    <xsl:choose>
+        <xsl:when test="(number($doenetml-max-live-viewers-entered) = round(number($doenetml-max-live-viewers-entered))) and (number($doenetml-max-live-viewers-entered) &gt; 0)">
+            <xsl:value-of select="round(number($doenetml-max-live-viewers-entered))"/>
+        </xsl:when>
+        <xsl:otherwise>
+            <xsl:message>PTX:FALLBACK: the DoenetML "max-live-viewers" in the publication file ("<xsl:value-of select="$doenetml-max-live-viewers-entered"/>") must be a positive whole number of activities, using the default, 3</xsl:message>
+            <xsl:text>3</xsl:text>
+        </xsl:otherwise>
+    </xsl:choose>
+</xsl:variable>
+<xsl:variable name="doenetml-max-concurrent-boots-entered">
+    <xsl:apply-templates select="$publisher-attribute-options/html/interactives/doenetml/pi:pub-attribute[@name='max-concurrent-boots']" mode="set-pubfile-variable"/>
+</xsl:variable>
+<xsl:variable name="doenetml-max-concurrent-boots">
+    <xsl:choose>
+        <xsl:when test="(number($doenetml-max-concurrent-boots-entered) = round(number($doenetml-max-concurrent-boots-entered))) and (number($doenetml-max-concurrent-boots-entered) &gt; 0)">
+            <xsl:value-of select="round(number($doenetml-max-concurrent-boots-entered))"/>
+        </xsl:when>
+        <xsl:otherwise>
+            <xsl:message>PTX:FALLBACK: the DoenetML "max-concurrent-boots" in the publication file ("<xsl:value-of select="$doenetml-max-concurrent-boots-entered"/>") must be a positive whole number of activities, using the default, 2</xsl:message>
+            <xsl:text>2</xsl:text>
+        </xsl:otherwise>
+    </xsl:choose>
+</xsl:variable>
+
+<!-- A GeoGebra applet starts as soon as its page does, and a page carrying    -->
+<!-- several of them can be slow to settle on a modest machine.  A publisher   -->
+<!-- may instead hold each one behind a play button, so an applet starts only  -->
+<!-- when a reader asks for it.  Off by default: the reader of a page with one -->
+<!-- or two applets should not have to click to see them.                      -->
+<xsl:variable name="geogebra-play-button">
+    <xsl:apply-templates select="$publisher-attribute-options/html/interactives/geogebra/pi:pub-attribute[@name='play-button']" mode="set-pubfile-variable"/>
+</xsl:variable>
+<xsl:variable name="b-geogebra-play-button" select="$geogebra-play-button = 'yes'"/>
+
 <!--                       -->
 <!-- HTML Platform Options -->
 <!--                       -->
@@ -3608,9 +3682,14 @@ along with PreTeXt.  If not, see <http://www.gnu.org/licenses/>.
             </desmos>
             <doenetml>
                 <pi:pub-attribute name="resize-behavior" default="fixed-height" options="responsive"/>
+                <pi:pub-attribute name="coordinator" default="yes" options="no"/>
+                <pi:pub-attribute name="shared-core-workers" default="yes" options="no"/>
+                <pi:pub-attribute name="max-live-viewers" default="3" freeform="yes"/>
+                <pi:pub-attribute name="max-concurrent-boots" default="2" freeform="yes"/>
             </doenetml>
             <geogebra>
                 <pi:pub-attribute name="resize-behavior" default="fixed-height" options="responsive"/>
+                <pi:pub-attribute name="play-button" default="no" options="yes"/>
             </geogebra>
             <iframe>
                 <pi:pub-attribute name="resize-behavior" default="fixed-height" options="responsive"/>

package/assets/xsl/support/pretext-pg-macros.xsl

@@ -49,6 +49,37 @@
 <!-- necessity of this scheme.                                -->
 <xsl:variable name="b-extracting-pg" select="true()"/>
 
+<!-- We need latex packages and macros, but we must exclude   -->
+<!-- \lt and \gt. This is because WeBWorK/PG already loads    -->
+<!-- those. And their duplication in WeBWorK hardcopy output  -->
+<!-- is not permitted.                                        -->
+<xsl:variable name="latex-macros">
+    <xsl:variable name="latex-left-justified">
+        <xsl:call-template name="sanitize-text">
+            <xsl:with-param name="text">
+                <xsl:value-of select="$docinfo/macros" />
+            </xsl:with-param>
+        </xsl:call-template>
+    </xsl:variable>
+    <xsl:call-template name="latex-macro-first-percent">
+        <xsl:with-param name="latex-code">
+            <xsl:value-of select="$latex-left-justified" />
+        </xsl:with-param>
+    </xsl:call-template>
+    <xsl:text>\newcommand{\amp}{&amp;}&#xa;</xsl:text>
+</xsl:variable>
+
+<xsl:variable name="latex-packages">
+    <xsl:for-each select="$docinfo/math-package">
+        <xsl:if test="not(normalize-space(@mathjax-name) = '')">
+            <xsl:text>\require{</xsl:text>
+            <xsl:value-of select="@mathjax-name"/>
+            <xsl:apply-templates/>
+            <xsl:text>}&#xa;</xsl:text>
+        </xsl:if>
+    </xsl:for-each>
+</xsl:variable>
+
 <!-- We are outputting perl code, and there is no reason to output         -->
 <!-- anything other than "text"                                            -->
 <xsl:output method="text" encoding="UTF-8" />
@@ -71,7 +102,9 @@
     </xsl:variable>
     <xsl:variable name="macro-file-content">
         <xsl:call-template name="header"/>
+        <xsl:apply-templates select="$document-root" mode="latex-macros"/>
         <xsl:apply-templates select="$document-root" mode="latex-image-preamble"/>
+        <xsl:text>1;&#xa;</xsl:text>
     </xsl:variable>
     <exsl:document href="{$macro-file-name}" method="text">
         <xsl:call-template name="sanitize-text">
@@ -97,6 +130,24 @@
     </xsl:if>
 </xsl:template>
 
+<xsl:template match="book|article" mode="latex-macros">
+    <xsl:text>TEXT(&#xa;</xsl:text>
+    <xsl:text>    MODES(&#xa;</xsl:text>
+    <xsl:text>        HTML => '&lt;div style="display:none;">' . general_math_ev3(&lt;&lt;'EOF') . '&lt;/div>',&#xa;</xsl:text>
+    <xsl:value-of select="$latex-packages"/>
+    <xsl:value-of select="$latex-macros"/>
+    <xsl:text>EOF&#xa;</xsl:text>
+    <xsl:text>        TeX => '\ifdefined\ptxmacros\else ' . &lt;&lt;'EOF'&#xa;</xsl:text>
+    <xsl:value-of select="$latex-packages"/>
+    <xsl:value-of select="$latex-macros"/>
+    <xsl:text>\def\ptxmacros{}&#xa;</xsl:text>
+    <xsl:text>EOF&#xa;</xsl:text>
+    <xsl:text>. '\fi',&#xa;</xsl:text>
+    <xsl:text>        PTX => ''&#xa;</xsl:text>
+    <xsl:text>    )&#xa;</xsl:text>
+    <xsl:text>);&#xa;&#xa;</xsl:text>
+</xsl:template>
+
 <xsl:template name="header">
     <xsl:text>#############################################################################&#xa;</xsl:text>
     <xsl:text># This macro library supports WeBWorK problems from the PreTeXt project named&#xa;</xsl:text>

package/assets/xsl/tests/pretext-text-utilities-test.xsl

@@ -443,6 +443,88 @@ along with PreTeXt.  If not, see <http://www.gnu.org/licenses/>.
   </xsl:call-template>
 </xsl:variable>
 
+<!--========================================================================-->
+<!-- test css-string-escape -->
+<xsl:variable name="css-string-escape-plain">
+  <xsl:variable name="test-val">
+    <xsl:call-template name="css-string-escape">
+      <xsl:with-param name="text" select="'(a)'"/>
+    </xsl:call-template>
+  </xsl:variable>
+  <xsl:call-template name="assert-equal">
+    <xsl:with-param name="expected" select="'(a)'"/>
+    <xsl:with-param name="actual" select="$test-val"/>
+    <xsl:with-param name="test-name" select="'css-string-escape-plain'"/>
+  </xsl:call-template>
+</xsl:variable>
+
+<xsl:variable name="css-string-escape-empty">
+  <xsl:variable name="test-val">
+    <xsl:call-template name="css-string-escape">
+      <xsl:with-param name="text" select="''"/>
+    </xsl:call-template>
+  </xsl:variable>
+  <xsl:call-template name="assert-equal">
+    <xsl:with-param name="expected" select="''"/>
+    <xsl:with-param name="actual" select="$test-val"/>
+    <xsl:with-param name="test-name" select="'css-string-escape-empty'"/>
+  </xsl:call-template>
+</xsl:variable>
+
+<xsl:variable name="css-string-escape-apostrophe">
+  <xsl:variable name="test-val">
+    <xsl:call-template name="css-string-escape">
+      <xsl:with-param name="text">don't</xsl:with-param>
+    </xsl:call-template>
+  </xsl:variable>
+  <xsl:call-template name="assert-equal">
+    <xsl:with-param name="expected">don\'t</xsl:with-param>
+    <xsl:with-param name="actual" select="$test-val"/>
+    <xsl:with-param name="test-name" select="'css-string-escape-apostrophe'"/>
+  </xsl:call-template>
+</xsl:variable>
+
+<xsl:variable name="css-string-escape-backslash">
+  <xsl:variable name="test-val">
+    <xsl:call-template name="css-string-escape">
+      <xsl:with-param name="text">a\b</xsl:with-param>
+    </xsl:call-template>
+  </xsl:variable>
+  <xsl:call-template name="assert-equal">
+    <xsl:with-param name="expected">a\\b</xsl:with-param>
+    <xsl:with-param name="actual" select="$test-val"/>
+    <xsl:with-param name="test-name" select="'css-string-escape-backslash'"/>
+  </xsl:call-template>
+</xsl:variable>
+
+<!-- less-than becomes its code point with a delimiting space, so -->
+<!-- escaped text can never close an enclosing "style" element    -->
+<xsl:variable name="css-string-escape-less-than">
+  <xsl:variable name="test-val">
+    <xsl:call-template name="css-string-escape">
+      <xsl:with-param name="text">a&lt;b</xsl:with-param>
+    </xsl:call-template>
+  </xsl:variable>
+  <xsl:call-template name="assert-equal">
+    <xsl:with-param name="expected">a\3c b</xsl:with-param>
+    <xsl:with-param name="actual" select="$test-val"/>
+    <xsl:with-param name="test-name" select="'css-string-escape-less-than'"/>
+  </xsl:call-template>
+</xsl:variable>
+
+<xsl:variable name="css-string-escape-hostile">
+  <xsl:variable name="test-val">
+    <xsl:call-template name="css-string-escape">
+      <xsl:with-param name="text">'a\&lt;/style></xsl:with-param>
+    </xsl:call-template>
+  </xsl:variable>
+  <xsl:call-template name="assert-equal">
+    <xsl:with-param name="expected">\'a\\\3c /style></xsl:with-param>
+    <xsl:with-param name="actual" select="$test-val"/>
+    <xsl:with-param name="test-name" select="'css-string-escape-hostile'"/>
+  </xsl:call-template>
+</xsl:variable>
+
 <!--========================================================================-->
 
 <!-- "main" -->

package/assets/xsl/utilities/report-publisher-variables.xsl

@@ -152,6 +152,14 @@ along with PreTeXt.  If not, see <http://www.gnu.org/licenses/>.
     <xsl:text> </xsl:text>
     <xsl:value-of select="$baseurl"/>
     <xsl:text>&#xa;</xsl:text>
+    <!-- -->
+    <!-- 2026-08-28 percent widths are relative to this, and an interactive  -->
+    <!-- is built at this width, so preview screenshots need to know it      -->
+    <xsl:text>html-design-width</xsl:text>
+    <xsl:text> </xsl:text>
+    <xsl:value-of select="$html-design-width"/>
+    <xsl:text>&#xa;</xsl:text>
+    <!-- -->
     <!-- 2026-06-25 platform host for html -->
     <xsl:text>host-platform</xsl:text>
     <xsl:text> </xsl:text>