From b44cab5acc1adccf36ebd18ab7f4da9caf4c7932 Mon Sep 17 00:00:00 2001 From: Jan-Christoph Borchardt Date: Tue, 9 Jul 2013 22:02:39 +0200 Subject: [PATCH] prevent ugly selection effect on accidental selection, fix #3713 --- core/css/styles.css | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/core/css/styles.css b/core/css/styles.css index 97ab62df0a8..89c074aabbf 100644 --- a/core/css/styles.css +++ b/core/css/styles.css @@ -283,6 +283,8 @@ li.update, li.error { width:640px; margin:4em auto; padding:1em 1em 1em 4em; bac background:#383c43 url('../img/noise.png') repeat; -moz-box-shadow:0 0 7px #000; -webkit-box-shadow:0 0 7px #000; box-shadow:0 0 7px #000; overflow:hidden; box-sizing:border-box; -moz-box-sizing:border-box; + /* prevent ugly selection effect on accidental selection */ + -webkit-user-select: none; -moz-user-select: none; -ms-user-select: none; user-select: none; } #navigation:hover { overflow-y: auto; /* show scrollbar only on hover */ @@ -344,6 +346,8 @@ li.update, li.error { width:640px; margin:4em auto; padding:1em 1em 1em 4em; bac border-bottom-left-radius:7px; border-bottom:1px #333 solid; border-left:1px #333 solid; -moz-box-shadow:0 0 7px rgb(29,45,68); -webkit-box-shadow:0 0 7px rgb(29,45,68); box-shadow:0 0 7px rgb(29,45,68); -moz-box-sizing: border-box; box-sizing: border-box; + /* prevent ugly selection effect on accidental selection */ + -webkit-user-select: none; -moz-user-select: none; -ms-user-select: none; user-select: none; } #expanddiv a { display: block; -- 2.39.5