From eb40e97357df17ccc05eb556ddb67c1da022bbc9 Mon Sep 17 00:00:00 2001 From: Jeena Date: Mon, 24 Oct 2016 07:35:24 +0200 Subject: [PATCH] Add local scrollbars to

---
 html/content.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/html/content.css b/html/content.css
index a6c012a..1b3eda8 100644
--- a/html/content.css
+++ b/html/content.css
@@ -110,3 +110,7 @@ figure > img:only-child, div > img:only-child, p > img:only-child {
     margin: 1em auto;
     float: none !important;
 }
+
+pre {
+    overflow: auto;
+}