From f4d82a37eeeab302f5a2fc03084fbe91331759bc Mon Sep 17 00:00:00 2001 From: ppoffice Date: Mon, 12 Aug 2019 23:57:25 -0400 Subject: [PATCH] fix(highlight): make code copy work when folded --- source/css/style.styl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/css/style.styl b/source/css/style.styl index 38f3090..dee694b 100644 --- a/source/css/style.styl +++ b/source/css/style.styl @@ -358,7 +358,7 @@ figure.highlight margin: 1em 0 1em !important &.folded .highlight-body - display: none + height: 0 pre, table tr:hover