addressing #9189 manually, part 1: code and pre vars

2026-06-08 17:22:31 +03:00 · 2013-08-11 17:23:19 -07:00
parent 83c236f570
commit 8b76e0d0f0
2 changed files with 5 additions and 3 deletions
@@ -557,7 +557,9 @@
@code-bg:                     #f9f2f4;

@pre-bg:                      #f5f5f5;
+@pre-color:                   @gray-dark;
@pre-border-color:            #ccc;
+@pre-scrollable-max-height:   340px;

 // Type
 // ------------------------