diff --git a/js/lab/src/theme/static/base.css b/js/lab/src/theme/static/base.css index 42aa20f490..714313b45f 100644 --- a/js/lab/src/theme/static/base.css +++ b/js/lab/src/theme/static/base.css @@ -92,3 +92,7 @@ border-color: var(--jp-widgets-input-focus-border-color); outline: none !important; } + +.hidden { + display: none !important;; +}