Make the TOC text unselectable

Author: Gaurav Nelson

_stylesheets/docs.css

@@ -19,7 +19,7 @@ nav#main {
     width:  100%;
     position: fixed;
     z-index: 10;
-  }  
+  }
 }
 
 .navbar.navbar-default.navbar-openshift .navbar-brand.origin {
@@ -510,7 +510,7 @@ h2:hover>a.anchor, h2>a.anchor:hover, h3:hover>a.anchor, h3>a.anchor:hover, h4:h
   /*side toc styling here */
 
     #toc:before {
-    font-family: "RedHatText",Overpass,"Open Sans",Helvetica,Arial,sans-serif;     
+    font-family: "RedHatText",Overpass,"Open Sans",Helvetica,Arial,sans-serif;
     content: "TABLE OF CONTENTS";
     color: #545454;
     font-size: 0.82em;
@@ -524,6 +524,7 @@ h2:hover>a.anchor, h2>a.anchor:hover, h3:hover>a.anchor, h3>a.anchor:hover, h4:h
   }
 
   #toc {
+    user-select: none;
     float: right;
     padding-top: 0.1em !important;
     font-size: 0.8em;
@@ -771,7 +772,7 @@ h2:hover>a.anchor, h2>a.anchor:hover, h3:hover>a.anchor, h3>a.anchor:hover, h4:h
   /*side toc styling here */
 
     #toc:before {
-    font-family: "RedHatText",Overpass,"Open Sans",Helvetica,Arial,sans-serif;     
+    font-family: "RedHatText",Overpass,"Open Sans",Helvetica,Arial,sans-serif;
     content: "TABLE OF CONTENTS";
     color: #545454;
     font-size: 0.82em;