diff --git a/css/style.css b/css/style.css
index c364037d5..1baa06d03 100644
--- a/css/style.css
+++ b/css/style.css
@@ -663,7 +663,6 @@ a.hide-announcement {
   position: relative;
   -webkit-user-select: none;
   -moz-user-select: none;
-  -o-user-select: none;
   user-select: none;
 }
 #dump-list {