Merge remote-tracking branch 'upstream/pull/4728'

diff --combined app/assets/stylesheets/common.scss
index ca9a820f9780b58a4329bbaf861ecb1ea64c331f,fc1ef69267749dce92e255f54846823805c3decf..c0f6c367c85271d2dc615f0c761bd346de3fa24c
--- 1/app/assets/stylesheets/common.scss
--- 2/app/assets/stylesheets/common.scss
+++ b/app/assets/stylesheets/common.scss
@@@ -15,6 -15,10 +15,6 @@@ p > img 
    max-width: 100%;
  }
  
 -small, aside {
 -  font-size: 12px;
 -}
 -
  time[title] {
    text-decoration: underline dotted;
  }
@@@ -545,6 -549,10 +545,6 @@@ header .search_forms
  /* Rules for search sidebar */
  
  #sidebar .search_results_entry {
 -  ul li.selected {
 -    background: $list-highlight;
 -  }
 -
    .search_more .loader {
      display: none;
    }
@@@ -636,14 -644,6 +636,6 @@@ tr.turn 
  
    .query-results {
      display: none;
- 
-     ul {
-       li {
-         &.query-result {
-           cursor: pointer;
-         }
-       }
-     }
    }
  }