diff --git a/article-style.css b/article-style.css
index aed0452e..34c3add7 100644
--- a/article-style.css
+++ b/article-style.css
@@ -42,6 +42,7 @@ pre
   padding: 0.3em;
   padding-left: 0.5em;
   background: #def;
+  user-select: none;
 }
 
 .gddicttitle