From efd57aeb5a81c57f27d680381291c703db1662b7 Mon Sep 17 00:00:00 2001 From: Fons van der Plas Date: Tue, 4 May 2021 22:01:50 +0200 Subject: [PATCH] Fix #100 --- src/Terminal.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Terminal.jl b/src/Terminal.jl index fbe0e370..9e4923e4 100644 --- a/src/Terminal.jl +++ b/src/Terminal.jl @@ -31,7 +31,7 @@ div.PlutoUI_terminal { max-height: 300px; overflow: auto; } -div.PlutoUI_terminal pre { +pluto-output div.PlutoUI_terminal pre:not(.no-block) { color: #ddd; background-color: transparent; margin-block-end: 0;