diff --git a/editor/stylesheets/styles.css b/editor/stylesheets/styles.css index 86ba938e1..cb72c0647 100644 --- a/editor/stylesheets/styles.css +++ b/editor/stylesheets/styles.css @@ -52,26 +52,20 @@ body { line-height: 1.3; } .explorer { background-color: rgba(255,255,255,0.95); width: 300px; - border-radius: 6px; + border-radius: 5px; border-width: 3px; border-style: solid; border-color: rgba(0,0,0,.4); + box-shadow: 4px 4px 40px 0px rgba(0,0,0,0.75); } .invalid { - animation-name: invalid-explorer; - animation-delay: 0.15s; - animation-duration: 0.45s; - animation-timing-function: ease-in-out; -} - -@keyframes invalid-explorer { - from { border-color: rgba(0,0,0,.4); } - to { border-color: rgba(255,0,0,.7); } + border-color: rgba(207,0,15,.7); + padding-bottom: 5px; } .one-result { - border-color: rgba(0,100,75,0.7); + border-color: rgba(68,108,179,0.9); } .top-separator { @@ -97,6 +91,7 @@ body { line-height: 1.3; } } .explorer-placeholder { + background-color: red; } .localAdmissibleType { @@ -161,3 +156,4 @@ div:focus { .vitem { flex: none; } +