diff options
author | Niccolò Maggioni <nicco.maggioni@gmail.com> | 2019-07-04 11:34:44 +0300 |
---|---|---|
committer | Niccolò Maggioni <nicco.maggioni@gmail.com> | 2019-07-04 11:34:44 +0300 |
commit | 9e2d1cd7776d48e4f2ea4ca091d0560606bc1fc4 (patch) | |
tree | 7c3e15e984d170654e47e4e68395d380db2c9256 /src | |
parent | c277e2179b19b44d02e2a32445e5937430708582 (diff) |
Port of Copy to Clipboard and Load from File in CLI tab
Diffstat (limited to 'src')
-rw-r--r-- | src/css/tabs/cli.css | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/src/css/tabs/cli.css b/src/css/tabs/cli.css index d7f1643d..d73ff43f 100644 --- a/src/css/tabs/cli.css +++ b/src/css/tabs/cli.css @@ -50,6 +50,18 @@ resize: none; } +.jBox-container textarea#preview { + background-color: rgba(0, 0, 0, 0.75); + width: 100%; + resize: none; + overflow-y: scroll; + overflow-x: hidden; + font-family: monospace; + color: white; + padding: 5px; + margin-bottom: 5px; +} + .tab-cli #content-watermark { z-index: 0; } @@ -58,6 +70,11 @@ white-space: pre-wrap; } +.tab-cli .window .error_message { + color: red; + font-weight: bold; +} + .tab-cli .save { color: white; } |