diff --git a/foltor/foltor.coffee b/foltor/foltor.coffee index ca63ace8f..e150975c3 100644 --- a/foltor/foltor.coffee +++ b/foltor/foltor.coffee @@ -99,17 +99,13 @@ GM_addStyle(' text-align: right; border: 1px solid; } - #box.autohide:not(:hover){ + #box.autohide:not(:hover) { background: rgba(0,0,0,0); border: none; } - #box.autohide:not(:hover) > div { + #box.autohide:not(:hover):not(:active) > *:not(.top) { display: none; } - #box.autohide:not(:hover) > div.top { - display: block; - padding: 0; - } #box.autohide a:last-child { font-weight: bold; } diff --git a/foltor/foltor.js b/foltor/foltor.js index ed8b6f92d..9651c4b7a 100644 --- a/foltor/foltor.js +++ b/foltor/foltor.js @@ -128,17 +128,13 @@ position: fixed; \ text-align: right; \ border: 1px solid; \ } \ -#box.autohide:not(:hover){ \ +#box.autohide:not(:hover) { \ background: rgba(0,0,0,0); \ border: none; \ } \ -#box.autohide:not(:hover) > div { \ +#box.autohide:not(:hover):not(:active) > *:not(.top) { \ display: none; \ } \ -#box.autohide:not(:hover) > div.top { \ -display: block; \ -padding: 0; \ -} \ #box.autohide a:last-child { \ font-weight: bold; \ } \