diff --git a/opengrok-web/src/main/webapp/default/style-1.0.4.css b/opengrok-web/src/main/webapp/default/style-1.0.4.css index 5b8b281a0ad..05077989b87 100644 --- a/opengrok-web/src/main/webapp/default/style-1.0.4.css +++ b/opengrok-web/src/main/webapp/default/style-1.0.4.css @@ -740,6 +740,10 @@ div[id^='src'] pre { background-color: #dddddd; color: #666; margin-right: .5ex; + -webkit-user-select: none; + -moz-user-select: none; + -ms-user-select: none; + user-select: none; } .blame .search {