From bf292387620ad7c5ff132603f01c911e901ea6e0 Mon Sep 17 00:00:00 2001
From: Dirk Zimoch <dirk.zimoch@psi.ch>
Date: Wed, 14 Jun 2017 17:07:03 +0200
Subject: [PATCH] fix page break in <pre> boxes

---
 documentation/stream.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/documentation/stream.css b/documentation/stream.css
index a7974c9..c245726 100644
--- a/documentation/stream.css
+++ b/documentation/stream.css
@@ -20,6 +20,7 @@ pre {
     border:1px solid #000000;
     white-space:pre;
     margin:2ex;
+    page-break-inside:avoid;
 }
 
 kbd {