changeset 19:24c7aeff6159 default tip

fix overflow use scroll in code block
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Tue, 30 Jul 2019 16:27:40 +0900
parents b2278b4def24
children
files scripts/prettify.css
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/scripts/prettify.css	Wed Oct 17 12:43:14 2018 +0900
+++ b/scripts/prettify.css	Tue Jul 30 16:27:40 2019 +0900
@@ -21,7 +21,7 @@
   border: 1px solid rgb(224, 224, 224);
   box-shadow: inset 0 2px 6px rgba(0, 0, 0, .1);
 
-  overflow: hidden;
+  overflow: scroll;
 }
 
 /* Pretty print */