From 0bac87c36f549452b8976b4a1a4d08d2ee06c517 Mon Sep 17 00:00:00 2001 From: ed Date: Sun, 29 Jan 2023 01:40:02 +0000 Subject: [PATCH] make loss of hotkeys more obvious --- copyparty/web/browser.css | 4 ++++ copyparty/web/browser.js | 17 ++++++++++++----- 2 files changed, 16 insertions(+), 5 deletions(-) diff --git a/copyparty/web/browser.css b/copyparty/web/browser.css index 1584f7a4..60655f3e 100644 --- a/copyparty/web/browser.css +++ b/copyparty/web/browser.css @@ -800,11 +800,15 @@ html.y #path a:hover { } .logue>iframe { background: var(--bgg); + border-radius: .3em; visibility: hidden; border: none; width: 100%; height: 0; } +.logue>iframe.focus { + box-shadow: 0 0 .1em .1em var(--a); +} #pro.logue { margin-bottom: .8em; } diff --git a/copyparty/web/browser.js b/copyparty/web/browser.js index 5b167140..3f6b2e38 100644 --- a/copyparty/web/browser.js +++ b/copyparty/web/browser.js @@ -6694,18 +6694,22 @@ function sandbox(tgt, rules, cls, html) { env = js.split(/\blogues *=/)[0] + 'a;'; } - html = '' + html + '' + '' + '