hide buttons in PDF export

resource/support/css/mario.css

@@ -1039,9 +1039,13 @@ div.q-panel {
   background-color: rgba(100, 100, 100, 0.2);
 }
 
+body.print-pdf div.open-button {
+  display: none;
+}
+
 
 /*********************************************
- * MARIO: bibliogrphy
+ * MARIO: bibliography
  *********************************************/
 
 .reveal .references {

resource/support/plugins/whiteboard/whiteboard.css

@@ -161,6 +161,10 @@
   border: 1px solid #eeeeee;
   background: var(--whiteboard-background-color);
 }
+body.print-pdf #whiteboardButtons {
+  display: none;
+}
+
 
 /* toggle whiteboard buttons with .whiteboardActive on container */
 #whiteboardButtons > button {

resource/support/plugins/whiteboard/whiteboard.js

@@ -1549,9 +1549,6 @@ let RevealWhiteboard = (function () {
       selectPenColor(penColors[0]);
       selectPenRadius(2);
 
-      // hide buttons in print mode
-      if (printMode) buttons.style.display = "none";
-
       // load annotations
       return new Promise((resolve) => loadAnnotationsFromURL().then(resolve));
     },