diff options
| author | bobzel <zzzman@gmail.com> | 2023-05-14 12:06:31 -0400 |
|---|---|---|
| committer | bobzel <zzzman@gmail.com> | 2023-05-14 12:06:31 -0400 |
| commit | cfd353baf7356024dc88c61289755dd6699ae9fd (patch) | |
| tree | 971b25f07ff19cde5b3f40dc440e6dfa02944e18 /src/client/views/ScriptingRepl.scss | |
| parent | 24f9e3ddefb1853cce3f3c51dfbe6183d88bce78 (diff) | |
| parent | 42afc0250de658fc3e924864bfae5afb4edec335 (diff) | |
Merge branch 'master' into UI_Update_Eric_Ma
Diffstat (limited to 'src/client/views/ScriptingRepl.scss')
| -rw-r--r-- | src/client/views/ScriptingRepl.scss | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/client/views/ScriptingRepl.scss b/src/client/views/ScriptingRepl.scss index 778e9c445..adc82238e 100644 --- a/src/client/views/ScriptingRepl.scss +++ b/src/client/views/ScriptingRepl.scss @@ -31,6 +31,9 @@ border-radius: 25%; padding: 2px; } +.documentIcon-outerDiv:hover { + opacity: 0.3; +} .scriptingObject-icon { padding: 3px; @@ -48,4 +51,4 @@ .scriptingObject-leaf { margin-left: 15px; -}
\ No newline at end of file +} |