Part I. IntroductionTable of ContentsPreface1. Overview1.1 What do the stylesheets do?1.2 Getting the stylesheets1.2.1 Download the latest release1.2.2 Getting the release from Maven2. Using the stylesheets2.1 Using the Jar2.2 Using the Python script2.3 Run with Java2.4 Run with Docker2.5 Extension functions2.5.1 Extension function debugging2.6 “Chunked” output2.6.1 Keyboard navigation and speaker notes2.7 Effectivity attributes and profiling2.7.1 Effectivity2.7.2 Profiling2.7.3 Dynamic profiling2.8 Syntax highlighting2.9 Print output (dead tree editions)2.10 EPUB output2.10.1 Adding metadata2.10.2 EPUB in action3. Customizing the stylesheets3.1 Changing stylesheet parameters3.2 Creating a customization layer3.3 Managing CSS stylesheets3.4 Creating something completely different4. Implementation details4.1 Customizing chunking4.2 Lengths and units4.3 Verbatim styles4.3.1 Line numbers4.4 Processing mediaobjects4.4.1 Mediaobject URIs4.5 Templates4.6 Annotations4.7 The pre- and post-processing pipeline5. Building the stylesheets5.1 Prerequisites5.1.1 Saxon EE5.2 Repository structure5.3 Build tasks5.4 Running XSpec