Add 'doc/' from commit '5925379b5fb30e548f1ba4e804af9865de8903ae'

git-subtree-dir: doc
git-subtree-mainline: bdd1dea5e21a00b6af1b0ded09e7d528485d5196
git-subtree-split: 5925379b5fb30e548f1ba4e804af9865de8903ae

1 files changed, 25 insertions, 0 deletions

diff --git a/doc/backends/deckjs/deck.js/core/print.css b/doc/backends/deckjs/deck.js/core/print.css
new file mode 100644
index 00000000..0230f4c1
--- /dev/null
+++ b/doc/backends/deckjs/deck.js/core/print.css
@@ -0,0 +1,25 @@
+body {
+  font-size: 18pt;
+}
+
+h1 {
+  font-size: 48pt;
+}
+
+h2 {
+  font-size: 36pt;
+}
+
+h3 {
+  font-size: 28pt;
+}
+
+pre {
+  border: 1px solid #000;
+  padding: 10px;
+  white-space: pre-wrap;
+}
+
+.deck-container > .slide {
+  page-break-after: always;
+}