@pretextbook/pretext-html 0.3.0 → 0.5.0

package/assets/xsl/pretext-epub.xsl

@@ -95,6 +95,10 @@
     </xsl:choose>
 </xsl:variable>
 
+<!-- Force level 2 as the top level heading for chunks      -->
+<!-- by overrideing this template than calling the original -->
+<xsl:variable name="chunk-heading-level" select="2"/>
+
 <!-- We disable the ToC level to avoid any conflicts with chunk level -->
 <xsl:variable name="toc-level" select="number(0)" />
 
@@ -184,7 +188,7 @@
 <!-- template in the entry template here, so these pages are not built (good).      -->
 <!-- But we do get little buttons to elect a printable version.  We have to kill    -->
 <!-- those buttons, since EPUB wants to go looking for the printable-version files. -->
-<xsl:template match="worksheet|handout" mode="standalone-printout-links"/>
+<xsl:template match="&PRINTOUT;" mode="standalone-printout-links"/>
 
 
 <!-- ############## -->
@@ -201,7 +205,7 @@
         <xsl:call-template name="banner-warning">
             <xsl:with-param name="warning">PTX:FATAL: EPUB creation is only implemented for a "book" or an "article",&#xa;not a "<xsl:value-of select="local-name($document-root)"/>", and we cannot recover</xsl:with-param>
         </xsl:call-template>
-        <xsl:message terminate="yes">Quitting...</xsl:message>
+        <xsl:message terminate="yes">PTX:FATAL:   Quitting...</xsl:message>
     </xsl:if>
     <!-- analyze authored source -->
     <xsl:apply-templates select="$original" mode="generic-warnings"/>
@@ -215,11 +219,13 @@
     <xsl:call-template name="packaging-info"/>
 </xsl:template>
 
-<!-- First, we use the frontmatter element to trigger various necessary files     -->
+<!-- First, create the cover page and table of contents files, which are          -->
+<!-- necessary for every EPUB, even when the source has no "frontmatter"          -->
 <!-- We process structural nodes via chunking routine in  xsl/mathbook-common.xsl -->
 <!-- This in turn calls specific modal templates defined elsewhere in this file   -->
 <xsl:template match="/pretext">
-    <xsl:apply-templates select="$document-root//frontmatter" mode="epub" />
+    <xsl:call-template name="cover-page-file"/>
+    <xsl:call-template name="table-contents-file"/>
     <xsl:call-template name="endnotes"/>
     <xsl:apply-templates mode="chunking" />
 </xsl:template>
@@ -235,7 +241,7 @@
 <!-- EPUB conversion with "chapter" having "section" it gets an -->
 <!-- HTML page of its own as part of the "summary" hack.  Ditto -->
 <!-- for "outcomes" which might appear in a different order.    -->
-<xsl:template match="&STRUCTURAL;|chapter/conclusion|chapter/outcomes[preceding-sibling::section]" mode="file-wrap">
+<xsl:template match="&STRUCTURAL;|&DIVISION-COMPANION;" mode="file-wrap">
     <xsl:param name="content" />
     <xsl:variable name="file">
         <xsl:value-of select="$content-dir" />
@@ -272,6 +278,13 @@
     </exsl:document>
 </xsl:template>
 
+<!-- The "backmatter" has no page of its own (see above), so   -->
+<!-- a summary page never links to it: the links pass through  -->
+<!-- to its children, each of which is a genuine page          -->
+<xsl:template match="backmatter" mode="summary-nav">
+    <xsl:apply-templates select="*" mode="summary-nav"/>
+</xsl:template>
+
 <!-- The book element gets mined in various ways,            -->
 <!-- but the "usual" HTML treatment can/should be thrown out -->
 <!-- At fixed level 2, this is a summary page from an        -->
@@ -282,7 +295,7 @@
 <!-- and they are going into their own files.  So it seems the    -->
 <!-- right thing to do, while making minimal changes elsewhere.   -->
 <xsl:template match="chapter/conclusion|chapter/outcomes[preceding-sibling::section]" mode="containing-filename">
-    <xsl:apply-templates select="." mode="visible-id"/>
+    <xsl:apply-templates select="." mode="unique-id"/>
     <xsl:text>.xhtml</xsl:text>
 </xsl:template>
 
@@ -303,23 +316,10 @@
             <section class="{local-name(.)}">
                 <xsl:apply-templates select="." mode="html-id-attribute"/>
                 <xsl:apply-templates select="." mode="section-heading" />
-                <xsl:apply-templates select="author|objectives|introduction|titlepage|abstract" />
+                <xsl:apply-templates select="author|titlepage|abstract" />
                 <!-- deleted "nav" and summary links here -->
+                <!-- division companions become their own files, in the spine -->
             </section>
-            <xsl:if test="conclusion">
-                <xsl:apply-templates select="conclusion" mode="file-wrap">
-                    <xsl:with-param name="content">
-                        <xsl:apply-templates select="conclusion"/>
-                    </xsl:with-param>
-                </xsl:apply-templates>
-            </xsl:if>
-            <xsl:if test="outcomes">
-                <xsl:apply-templates select="outcomes" mode="file-wrap">
-                    <xsl:with-param name="content">
-                        <xsl:apply-templates select="outcomes"/>
-                    </xsl:with-param>
-                </xsl:apply-templates>
-            </xsl:if>
         </xsl:with-param>
     </xsl:apply-templates>
 </xsl:template>
@@ -451,12 +451,15 @@
         <item id="table-contents"
               href="{$xhtml-dir}/table-contents.xhtml"
               media-type="application/xhtml+xml">
-            <!-- TODO: If the TOC expands to include more than -->
-            <!-- chapter and appendix, this will need revision. -->
+            <!-- The file has been written by now, so rather than    -->
+            <!-- predict which division titles the table of contents -->
+            <!-- displays, read it and see if any mathematics landed -->
+            <!-- there, exactly as "manifest-item" does per chunk    -->
+            <xsl:variable name="toc-contents" select="document(concat($tmpdir, '/', $content-dir, '/', $xhtml-dir, '/table-contents.xhtml'))"/>
             <xsl:attribute name="properties">
                 <xsl:choose>
-                    <xsl:when test="($b-is-book and ($document-root//chapter/title/m or $document-root//appendix/title/m))">
-                    <xsl:choose>
+                    <xsl:when test="$toc-contents//svg:svg | $toc-contents//math:math">
+                        <xsl:choose>
                             <xsl:when test="$math.format = 'mml' or
                                             $math.format = 'kindle'">
                                 <xsl:text>nav mathml</xsl:text>
@@ -464,6 +467,9 @@
                             <xsl:when test="$math.format = 'svg'">
                                 <xsl:text>nav svg</xsl:text>
                             </xsl:when>
+                            <xsl:otherwise>
+                                <xsl:text>nav</xsl:text>
+                            </xsl:otherwise>
                         </xsl:choose>
                     </xsl:when>
                     <xsl:otherwise>
@@ -533,10 +539,72 @@
 <!-- recurse into contents for image files, etc    -->
 <!-- See "Core Media Type Resources"               -->
 <!-- Add to spine identically                      -->
-<!-- Specialized divisions are terminal in back    -->
-<!-- matter, and only a separate file when within  -->
-<!-- a "chapter", at level 2                       -->
-<xsl:template match="frontmatter|colophon|biography|dedication|acknowledgement|preface|chapter|chapter/conclusion|chapter/outcomes[preceding-sibling::section]|appendix|index|section|exercises|chapter/reading-questions|chapter/solutions|appendix/solutions|backmatter/solutions|chapter/references|appendix/references|backmatter/references" mode="manifest">
+<!-- A division is a page of the container exactly when the        -->
+<!-- chunking machinery makes one: a terminal chunk, or a summary  -->
+<!-- page above the chunk level (the document root's own summary   -->
+<!-- included).  "backmatter" is the deliberate exception: it is   -->
+<!-- a pure container, with no content of its own, so its summary  -->
+<!-- page would be nothing but links to its children, and a        -->
+<!-- reading system's own navigation provides exactly that, so     -->
+<!-- the page is never produced (see mode="intermediate", above).  -->
+<!-- Contrast with "frontmatter", whose page renders genuine       -->
+<!-- content: a title page, an abstract, and so on.                -->
+<!-- The manifest and the spine both consult this one template,    -->
+<!-- and the files written are governed by the same machinery, so  -->
+<!-- the three can never disagree.                                 -->
+<xsl:template match="&STRUCTURAL;" mode="is-epub-page">
+    <xsl:variable name="chunk">
+        <xsl:apply-templates select="." mode="is-chunk"/>
+    </xsl:variable>
+    <xsl:variable name="intermediate">
+        <xsl:apply-templates select="." mode="is-intermediate"/>
+    </xsl:variable>
+    <xsl:choose>
+        <xsl:when test="self::backmatter">
+            <xsl:text>false</xsl:text>
+        </xsl:when>
+        <!-- a "book" is the second exception: its summary page is  -->
+        <!-- also deliberately not produced (see the "book" version -->
+        <!-- of mode="intermediate"), the table of contents being   -->
+        <!-- the better organizer.  An "article" root DOES produce  -->
+        <!-- its summary page, and so is not excepted.              -->
+        <xsl:when test="self::book">
+            <xsl:text>false</xsl:text>
+        </xsl:when>
+        <xsl:when test="($chunk = 'true') or ($intermediate = 'true')">
+            <xsl:text>true</xsl:text>
+        </xsl:when>
+        <xsl:otherwise>
+            <xsl:text>false</xsl:text>
+        </xsl:otherwise>
+    </xsl:choose>
+</xsl:template>
+
+<xsl:template match="&STRUCTURAL;" mode="manifest">
+    <xsl:variable name="is-page">
+        <xsl:apply-templates select="." mode="is-epub-page"/>
+    </xsl:variable>
+    <xsl:if test="$is-page = 'true'">
+        <xsl:call-template name="manifest-item"/>
+    </xsl:if>
+    <!-- recurse, eg from chapter down into a section -->
+    <xsl:apply-templates select="*" mode="manifest" />
+</xsl:template>
+
+<!-- A division companion is a file exactly when it is a chunk -->
+<!-- (its parent is a summary page); it has no children that   -->
+<!-- could ever join the manifest, so there is no recursion    -->
+<xsl:template match="&DIVISION-COMPANION;" mode="manifest">
+    <xsl:variable name="chunk">
+        <xsl:apply-templates select="." mode="is-chunk"/>
+    </xsl:variable>
+    <xsl:if test="$chunk = 'true'">
+        <xsl:call-template name="manifest-item"/>
+    </xsl:if>
+</xsl:template>
+
+<!-- One manifest "item" element for the context node's file -->
+<xsl:template name="manifest-item">
     <!-- Annotate manifest entries -->
     <xsl:comment>
         <xsl:apply-templates select="." mode="long-name" />
@@ -601,7 +669,6 @@
         </xsl:attribute>
     </xsl:element>
     <!-- recurse, eg from chapter down into a section -->
-    <xsl:apply-templates select="*" mode="manifest" />
 </xsl:template>
 
 <!-- How the files are organized into the spine  -->
@@ -623,19 +690,43 @@
     <xsl:apply-templates select="*" mode="spine" />
 </xsl:template>
 
+<!-- A division companion joins the linear reading order exactly -->
+<!-- when it is a file; document order places an "introduction"  -->
+<!-- right after its division's summary page, and a "conclusion" -->
+<!-- after the last subdivision                                  -->
+<xsl:template match="&DIVISION-COMPANION;" mode="spine">
+    <xsl:variable name="chunk">
+        <xsl:apply-templates select="." mode="is-chunk"/>
+    </xsl:variable>
+    <xsl:if test="$chunk = 'true'">
+        <xsl:element name="itemref" xmlns="http://www.idpf.org/2007/opf">
+            <xsl:attribute name="idref">
+                <xsl:apply-templates select="." mode="html-id" />
+            </xsl:attribute>
+            <xsl:attribute name="linear">
+                <xsl:text>yes</xsl:text>
+            </xsl:attribute>
+        </xsl:element>
+    </xsl:if>
+</xsl:template>
+
 <!-- Simplest scenario is spine matches manifest, all with @linear="yes" -->
-<!-- Specialized divisions will only become files in the manifest at     -->
-<!-- chunk level 2, in other words, peers of chapters or sections        -->
-<!-- (book or chapter/appendix as parent, respectively)                  -->
-<xsl:template match="frontmatter|colophon|acknowledgement|biography|dedication|preface|chapter|appendix|index|section|exercises[parent::book|parent::chapter|parent::appendix]|reading-questions[parent::book|parent::chapter|parent::appendix]|chapter/solutions|appendix/solutions|backmatter/solutions|chapter/references|appendix/references|backmatter/references|glossary[parent::book|parent::chapter|parent::appendix]|conclusion[parent::chapter]|outcomes[preceding-sibling::section]" mode="spine">
-    <xsl:element name="itemref" xmlns="http://www.idpf.org/2007/opf">
-        <xsl:attribute name="idref">
-            <xsl:apply-templates select="." mode="html-id" />
-        </xsl:attribute>
-        <xsl:attribute name="linear">
-            <xsl:text>yes</xsl:text>
-        </xsl:attribute>
-    </xsl:element>
+<!-- The identical "is-epub-page" question asked by the "manifest"       -->
+<!-- templates above, so every spine reference resolves                  -->
+<xsl:template match="&STRUCTURAL;" mode="spine">
+    <xsl:variable name="is-page">
+        <xsl:apply-templates select="." mode="is-epub-page"/>
+    </xsl:variable>
+    <xsl:if test="$is-page = 'true'">
+        <xsl:element name="itemref" xmlns="http://www.idpf.org/2007/opf">
+            <xsl:attribute name="idref">
+                <xsl:apply-templates select="." mode="html-id" />
+            </xsl:attribute>
+            <xsl:attribute name="linear">
+                <xsl:text>yes</xsl:text>
+            </xsl:attribute>
+        </xsl:element>
+    </xsl:if>
     <xsl:apply-templates select="*" mode="spine" />
 </xsl:template>
 
@@ -684,6 +775,14 @@
         <!-- Decide what to do with preview images, etc. -->
         <images>
             <xsl:for-each select="$document-root//image">
+                <xsl:variable name="write-filename">
+                    <xsl:apply-templates select="." mode="epub-base-filename">
+                        <xsl:with-param name="purpose" select="'write'"/>
+                    </xsl:apply-templates>
+                </xsl:variable>
+                <!-- a PDF-only image is replaced by a placeholder, -->
+                <!-- so the file itself is not copied in            -->
+                <xsl:if test="not(substring($write-filename, string-length($write-filename) - 3) = '.pdf')">
                 <image>
                     <!-- filename begins with directories from publisher file -->
                     <xsl:attribute name="sourcename">
@@ -697,6 +796,7 @@
                         </xsl:apply-templates>
                     </xsl:attribute>
                 </image>
+                </xsl:if>
             </xsl:for-each>
         </images>
     </packaging>
@@ -718,6 +818,12 @@
 <!-- Content files -->
 <!-- ############# -->
 
+<!-- The cover page and table of contents files are listed in the   -->
+<!-- manifest and spine of every EPUB, and "package-manifest" reads -->
+<!-- the table of contents file once written.  So create both       -->
+<!-- unconditionally: their content comes from the document root,   -->
+<!-- not the optional "frontmatter".                                -->
+
 <!-- "coverpage.html" comes in two flavors:                            -->
 <!--                                                                   -->
 <!-- 1.  An author provides a cover image via the publication file and -->
@@ -731,7 +837,7 @@
 <!--     here is backed out.  More immediately, we build a simple page -->
 <!--     (with CSS) having title, subtitle, and authors.               -->
 
-<xsl:template match="frontmatter" mode="epub">
+<xsl:template name="cover-page-file">
     <exsl:document href="{$content-dir}/{$xhtml-dir}/cover-page.xhtml" method="xml" omit-xml-declaration="yes" encoding="UTF-8" indent="no">
         <html>
             <xsl:call-template name="html-theme-attributes"/>
@@ -780,6 +886,9 @@
             </body>
         </html>
     </exsl:document>
+</xsl:template>
+
+<xsl:template name="table-contents-file">
     <exsl:document href="{$content-dir}/{$xhtml-dir}/table-contents.xhtml" method="xml" omit-xml-declaration="yes" encoding="UTF-8" indent="no">
         <html xmlns:epub="http://www.idpf.org/2007/ops">
             <xsl:call-template name="html-theme-attributes"/>
@@ -790,7 +899,7 @@
             </head>
             <body class="ptx-content epub" epub:type="frontmatter">
                 <nav epub:type="toc" id="toc">
-                    <h1>Table of Contents</h1>
+                    <h2>Table of Contents</h2>
                     <ol>
                         <!-- top-level divisions, for a book -->
                         <xsl:for-each select="$document-root/chapter[$b-is-book]|$document-root/section[$b-is-article]">
@@ -801,6 +910,7 @@
                                     </xsl:attribute>
                                     <xsl:apply-templates select="." mode="title-simple" />
                                 </xsl:element>
+                                <xsl:apply-templates select="." mode="nav-companions"/>
                             </li>
                         </xsl:for-each>
                         <!-- following divisions identical for book v. article -->
@@ -838,6 +948,35 @@
     </exsl:document>
 </xsl:template>
 
+<!-- Division companions of a division, nested in the nav -->
+<!-- document, exactly when they are files of the spine   -->
+<xsl:template match="*" mode="nav-companions">
+    <xsl:variable name="companion-files">
+        <xsl:for-each select="introduction|conclusion|objectives|outcomes">
+            <xsl:apply-templates select="." mode="is-chunk"/>
+        </xsl:for-each>
+    </xsl:variable>
+    <xsl:if test="contains($companion-files, 'true')">
+        <ol>
+            <xsl:for-each select="introduction|conclusion|objectives|outcomes">
+                <xsl:variable name="chunk">
+                    <xsl:apply-templates select="." mode="is-chunk"/>
+                </xsl:variable>
+                <xsl:if test="$chunk = 'true'">
+                    <li class="no-marker">
+                        <xsl:element name="a">
+                            <xsl:attribute name="href">
+                                <xsl:apply-templates select="." mode="containing-filename" />
+                            </xsl:attribute>
+                            <xsl:apply-templates select="." mode="division-companion-text" />
+                        </xsl:element>
+                    </li>
+                </xsl:if>
+            </xsl:for-each>
+        </ol>
+    </xsl:if>
+</xsl:template>
+
 <!-- An abstract named template accepts input text and   -->
 <!-- output text, then wraps it for the Sage Cell Server -->
 <xsl:template match="sage" mode="sage-active-markup">
@@ -1014,6 +1153,14 @@
             <xsl:with-param name="filename" select="@source|@pi:generated" />
         </xsl:call-template>
     </xsl:variable>
+    <xsl:variable name="image-filename">
+        <xsl:apply-templates select="." mode="epub-base-filename">
+            <xsl:with-param name="purpose" select="'write'"/>
+        </xsl:apply-templates>
+    </xsl:variable>
+    <!-- a PDF-only image is never displayed, never packaged: -->
+    <!-- a placeholder appears in its place (see below)       -->
+    <xsl:if test="not(substring($image-filename, string-length($image-filename) - 3) = '.pdf')">
     <!-- item  element for manifest -->
     <xsl:element name="item" namespace="http://www.idpf.org/2007/opf">
         <!-- internal id of the image -->
@@ -1022,9 +1169,7 @@
         <xsl:attribute name="href">
             <xsl:value-of select="$xhtml-dir" />
             <xsl:text>/</xsl:text>
-            <xsl:apply-templates select="." mode="epub-base-filename">
-                <xsl:with-param name="purpose" select="'write'"/>
-            </xsl:apply-templates>
+            <xsl:value-of select="$image-filename"/>
         </xsl:attribute>
         <!-- media attribute -->
         <xsl:attribute name="media-type">
@@ -1053,12 +1198,16 @@
                 <xsl:when test="@pi:generated and ($extension = 'jpg')">
                     <xsl:text>image/jpeg</xsl:text>
                 </xsl:when>
+                <!-- these images switch to PNG for a Kindle build (see    -->
+                <!-- "best-file-extension") so the media type must express -->
+                <!-- the same choice, else a reading system (or validator) -->
+                <!-- tries to parse PNG bytes as XML                       -->
                 <xsl:when test="latex-image|asymptote|mermaid|pf:prefigure">
-                    <xsl:text>image/svg+xml</xsl:text>
+                    <xsl:call-template name="best-media-type"/>
                 </xsl:when>
                 <!-- A 2D "sageplot" is just like any other image built from source -->
                 <xsl:when test="sageplot[not(@variant) or (@variant = '2d')]">
-                    <xsl:text>image/svg+xml</xsl:text>
+                    <xsl:call-template name="best-media-type"/>
                 </xsl:when>
                 <!-- NB: a 3D "sageplot" only comes in PNG and HTML variants, -->
                 <!-- so we cannot manufacture the preferable SVG version,     -->
@@ -1070,10 +1219,14 @@
                 <xsl:otherwise>
                     <xsl:message>PTX:BUG:     EPUB image media-type not determined</xsl:message>
                     <xsl:apply-templates select="." mode="location-report" />
+                    <!-- an empty media-type is invalid; this is the -->
+                    <!-- honest generic type while the bug survives  -->
+                    <xsl:text>application/octet-stream</xsl:text>
                 </xsl:otherwise>
             </xsl:choose>
         </xsl:attribute>
     </xsl:element>
+    </xsl:if>
     <!-- likely a dead-end here, but we examine children anyway -->
     <xsl:apply-templates select="*" mode="manifest" />
 </xsl:template>
@@ -1108,33 +1261,50 @@
 </xsl:template>
 
 <!-- Now the actual image inclusion where born -->
+<!-- EPUB reading systems display no PDF, so an image available     -->
+<!-- only in that format (STACK exercises supply these) becomes a   -->
+<!-- placeholder, with a warning at build time.  The manifest       -->
+<!-- template asks the identical question, so the unusable file is  -->
+<!-- not packaged either.                                           -->
 <xsl:template match="image">
-    <xsl:element name="img">
-        <xsl:attribute name="src">
-            <xsl:apply-templates select="." mode="epub-base-filename">
-                <xsl:with-param name="purpose" select="'write'"/>
-            </xsl:apply-templates>
-        </xsl:attribute>
-        <xsl:if test="@width">
-            <xsl:attribute name="style">
-                <xsl:text>width: </xsl:text>
-                <xsl:value-of select="@width" />
-                <xsl:text>; margin: 0 auto;</xsl:text>
-            </xsl:attribute>
-        </xsl:if>
-    </xsl:element>
-    <xsl:if test="description">
-        <details class="image-description">
-            <summary>
-                <xsl:call-template name="insert-symbol">
-                    <xsl:with-param name="name" select="'description'"/>
-                </xsl:call-template>
-            </summary>
-            <div>
-                <xsl:apply-templates select="description"/>
-            </div>
-        </details>
-    </xsl:if>
+    <xsl:variable name="filename">
+        <xsl:apply-templates select="." mode="epub-base-filename">
+            <xsl:with-param name="purpose" select="'write'"/>
+        </xsl:apply-templates>
+    </xsl:variable>
+    <xsl:choose>
+        <xsl:when test="substring($filename, string-length($filename) - 3) = '.pdf'">
+            <xsl:message>PTX:ERROR:   an image is available only as a PDF, which an EPUB reading system will not display; a placeholder appears in its place</xsl:message>
+            <xsl:apply-templates select="." mode="location-report"/>
+            <p class="image-placeholder">[An image belongs here, but it is available only in PDF form, which EPUB does not display.]</p>
+        </xsl:when>
+        <xsl:otherwise>
+            <xsl:element name="img">
+                <xsl:attribute name="src">
+                    <xsl:value-of select="$filename"/>
+                </xsl:attribute>
+                <xsl:if test="@width">
+                    <xsl:attribute name="style">
+                        <xsl:text>width: </xsl:text>
+                        <xsl:value-of select="@width" />
+                        <xsl:text>; margin: 0 auto;</xsl:text>
+                    </xsl:attribute>
+                </xsl:if>
+            </xsl:element>
+            <xsl:if test="description">
+                <details class="image-description">
+                    <summary>
+                        <xsl:call-template name="insert-symbol">
+                            <xsl:with-param name="name" select="'description'"/>
+                        </xsl:call-template>
+                    </summary>
+                    <div>
+                        <xsl:apply-templates select="description"/>
+                    </div>
+                </details>
+            </xsl:if>
+        </xsl:otherwise>
+    </xsl:choose>
 </xsl:template>
 
 <!-- ######### -->
@@ -1333,13 +1503,68 @@
     </xsl:for-each>
 </xsl:template>
 
+<!-- A hyperlink relative to the document (no scheme in the       -->
+<!-- address) points *into* the reading system's container, at a  -->
+<!-- file that is not packaged; the visible text appears, with no -->
+<!-- dead hyperlink                                                -->
+<xsl:template match="url[@href and not(contains(@href, ':'))]">
+    <xsl:choose>
+        <xsl:when test="node()">
+            <xsl:apply-templates/>
+        </xsl:when>
+        <xsl:otherwise>
+            <xsl:value-of select="@visual"/>
+        </xsl:otherwise>
+    </xsl:choose>
+</xsl:template>
+
+<!-- A MyOpenMath problem may arrive with a link whose address    -->
+<!-- *is* an entire data file (a "data:" address), defused with a -->
+<!-- "denied:" prefix during harvesting.  No reading system can   -->
+<!-- use it, so a placeholder states what is missing, naming the  -->
+<!-- type of the file, and the link's visible text as an          -->
+<!-- identifier, when there is one                                -->
+<xsl:template match="url[starts-with(@href, 'denied:')]">
+    <xsl:variable name="mime-type" select="substring-before(substring-after(@href, 'denied:data:'), ';')"/>
+    <xsl:text>[</xsl:text>
+    <xsl:choose>
+        <xsl:when test="not($mime-type = '')">
+            <xsl:value-of select="translate(substring-after($mime-type, '/'), 'abcdefghijklmnopqrstuvwxyz', 'ABCDEFGHIJKLMNOPQRSTUVWXYZ')"/>
+            <xsl:text> data file not included here</xsl:text>
+        </xsl:when>
+        <xsl:otherwise>
+            <xsl:text>Data file not included here</xsl:text>
+        </xsl:otherwise>
+    </xsl:choose>
+    <xsl:if test="normalize-space(.) != ''">
+        <xsl:text>: "</xsl:text>
+        <xsl:value-of select="normalize-space(.)"/>
+        <xsl:text>"</xsl:text>
+    </xsl:if>
+    <xsl:text>]</xsl:text>
+</xsl:template>
+
+<!-- A data file packaged into a document is intended for reader  -->
+<!-- download, which no reading system offers; the reference      -->
+<!-- renders as its visible text, with no dead hyperlink          -->
+<xsl:template match="dataurl[@source and not(@href)]">
+    <xsl:choose>
+        <xsl:when test="node()">
+            <xsl:apply-templates/>
+        </xsl:when>
+        <xsl:otherwise>
+            <xsl:value-of select="@visual"/>
+        </xsl:otherwise>
+    </xsl:choose>
+</xsl:template>
+
 <!-- #### -->
 <!-- Math -->
 <!-- #### -->
 
 <!-- Pluck SVGs from the file full of them, with matching IDs -->
 <xsl:template match="m|md[mrow]">
-    <!-- NB: math-representation file writes with "visible-id" -->
+    <!-- NB: math-representation file writes with "unique-id" -->
     <xsl:variable name="id">
         <xsl:apply-templates select="." mode="unique-id"/>
     </xsl:variable>
@@ -1377,11 +1602,11 @@
                 </xsl:apply-templates>
             </xsl:when>
             <xsl:when test="$math.format = 'mml'">
-                <xsl:copy-of select="$math/div[@class = 'mathml']/math:math"/>
+                <xsl:apply-templates select="$math/div[@class = 'mathml']/math:math" mode="mml-edit"/>
             </xsl:when>
             <!-- Kindle does best with MathML format -->
             <xsl:when test="$b-kindle">
-                <xsl:copy-of select="$math/div[@class = 'mathml']/math:math"/>
+                <xsl:apply-templates select="$math/div[@class = 'mathml']/math:math" mode="mml-edit"/>
             </xsl:when>
             <!-- 2020-07-17: reprs needed a new "span.speech" wrapper -->
             <xsl:when test="$math.format = 'speech'">
@@ -1402,6 +1627,21 @@
 <!-- Identity template as a mode coursing through SVGs  -->
 <!-- We are stream editing to satisfy the EPUB standard -->
 <!-- Mostly killing attrributes                         -->
+<!-- MathJax mints an HTML id from an equation's \tag for its own -->
+<!-- \eqref linking, which PreTeXt never uses; a tag used twice    -->
+<!-- (symbols as tags invite this) would duplicate the id, so     -->
+<!-- they are dropped, from SVG and MathML alike                  -->
+<xsl:template match="@id[starts-with(., 'mjx-eqn')]" mode="svg-edit"/>
+
+<!-- MathML travels nearly as-is: an identity, less the ids -->
+<xsl:template match="@id[starts-with(., 'mjx-eqn')]" mode="mml-edit"/>
+
+<xsl:template match="node()|@*" mode="mml-edit">
+    <xsl:copy>
+        <xsl:apply-templates select="node()|@*" mode="mml-edit"/>
+    </xsl:copy>
+</xsl:template>
+
 <xsl:template match="node()|@*" mode="svg-edit">
     <xsl:copy>
         <xsl:apply-templates select="node()|@*" mode="svg-edit"/>