Wrap overflow in developer box

2020-09-15 10:08:19 -06:00 · 2020-09-15 10:08:19 -06:00 · cc93eb164b
parent ccd9cea29d
commit cc93eb164b
1 changed files with 1 additions and 0 deletions
--- a/theme/basic.css
+++ b/theme/basic.css
@ -93,6 +93,7 @@ input:invalid {
 #devel {
  background-color: #eee;
  color: black;
+  overflow: scroll;
 }
 #devel .string {
  color: #9c27b0;