Merge "Exclude user interface elements in content from selection"

diff --combined resources/src/mediawiki.legacy/shared.css
index cf54cf9,d9284bb..49186e5
--- 1/resources/src/mediawiki.legacy/shared.css
--- 2/resources/src/mediawiki.legacy/shared.css
+++ b/resources/src/mediawiki.legacy/shared.css
@@@ -506,7 -506,7 +506,7 @@@ a.feedlink 
  table.wikitable {
        margin: 1em 0;
        background-color: #f9f9f9;
 -      border: 1px #aaa solid;
 +      border: 1px solid #aaa;
        border-collapse: collapse;
        color: black;
  }
@@@ -515,7 -515,7 +515,7 @@@ table.wikitable > tr > th
  table.wikitable > tr > td,
  table.wikitable > * > tr > th,
  table.wikitable > * > tr > td {
 -      border: 1px #aaa solid;
 +      border: 1px solid #aaa;
        padding: 0.2em;
  }
  
@@@ -584,7 -584,7 +584,7 @@@ table.wikitable > caption 
  }
  
  .successbox {
 -      color: #009000;
 +      color: #008000;
        border-color: #b7fdb5;
        background-color: #e1fddf;
  }
@@@ -1124,6 -1124,7 +1124,7 @@@ table.floatleft 
  
  .mw-editsection,
  .toctoggle,
+ .tochidden,
  #jump-to-nav {
        -moz-user-select: none;
        -webkit-user-select: none;