9b8e3a4bcd84ad0ee122031ec21680730c02df2f
mspeir
  Thu Jul 23 15:34:52 2026 -0700
Move vendored reveal.js library out of docs/slideDecks into the source tree

Per code review feedback on #37904, the reveal.js 5.1.0 files used by the
training slide decks now live in their conventional homes rather than bundled
under docs/slideDecks/reveal.js:

- JS  -> src/hg/js/external/ (reveal-5.1.0.js, reveal-notes-5.1.0.js),
added to that makefile; MIT LICENSE kept alongside.
- CSS -> src/hg/htdocs/style/ (reveal-5.1.0.css, reveal-white-5.1.0.css),
added to that makefile.
- Source Sans Pro fonts -> src/hg/htdocs/fonts/source-sans-pro/, matching
the existing font-awesome pattern (auto-rsynced, no makefile edit).

The white theme's @import and the five deck index.html files were updated to
reference the assets by absolute /js, /style, and /fonts paths.

refs #37904

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

diff --git docs/slideDecks/reveal.js/dist/theme/white.css src/hg/htdocs/style/reveal-white-5.1.0.css
similarity index 99%
rename from docs/slideDecks/reveal.js/dist/theme/white.css
rename to src/hg/htdocs/style/reveal-white-5.1.0.css
index 2cd7b2d9042..c8b2245ae11 100644
--- docs/slideDecks/reveal.js/dist/theme/white.css
+++ src/hg/htdocs/style/reveal-white-5.1.0.css
@@ -1,21 +1,21 @@
 /**
  * White theme for reveal.js. This is the opposite of the 'black' theme.
  *
  * By Hakim El Hattab, http://hakim.se
  */
-@import url(./fonts/source-sans-pro/source-sans-pro.css);
+@import url(../fonts/source-sans-pro/source-sans-pro.css);
 section.has-dark-background, section.has-dark-background h1, section.has-dark-background h2, section.has-dark-background h3, section.has-dark-background h4, section.has-dark-background h5, section.has-dark-background h6 {
   color: #fff;
 }
 
 /*********************************************
  * GLOBAL STYLES
  *********************************************/
 :root {
   --r-background-color: #fff;
   --r-main-font: Source Sans Pro, Helvetica, sans-serif;
   --r-main-font-size: 42px;
   --r-main-color: #222;
   --r-block-margin: 20px;
   --r-heading-margin: 0 0 20px 0;
   --r-heading-font: Source Sans Pro, Helvetica, sans-serif;