diff --git a/packages/ui-default/theme/dark.styl b/packages/ui-default/theme/dark.styl index 409553552..6a8c57609 100644 --- a/packages/ui-default/theme/dark.styl +++ b/packages/ui-default/theme/dark.styl @@ -402,3 +402,6 @@ $hover-background-color = #424242 .bp5-input-group input border-color: #3d3d3d!important + + &.hasjs .collapsed #status:not([data-status="7"]) .compiler-text-mask + background-image: linear-gradient(to bottom, transparent, #000000 25px)