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

diff --combined app/assets/stylesheets/common.scss
index 14aaad9cb4f1851a243119ec3c887e8394c9244c,6cbc55d7ef0952e3ed01d13f50dc5d160f7a7e5e..eac3f7417aa5a1c25fd281c1ab27bbed81878561
--- 1/app/assets/stylesheets/common.scss
--- 2/app/assets/stylesheets/common.scss
+++ b/app/assets/stylesheets/common.scss
@@@ -150,6 -150,11 +150,6 @@@ nav.primary 
  nav.secondary {
    .nav-link {
      padding: 0.2rem;
 -    color: $darkgrey;
 -  }
 -
 -  > ul li.current a {
 -    color: darken($darkgrey, 25%);
    }
  
    #inboxanchor {
@@@ -688,16 -693,15 +688,15 @@@ tr.turn:hover 
    .export_boxy {
      background: $lightgrey;
  
-     #maxlat { margin-top: -1px; }
+     > * {
+         margin: -1px;
+     }
      #minlon {
-       float: left;
-       /*rtl:ignore*/ margin-left: -1px;
+       /*rtl:ignore*/ float: left;
      }
      #maxlon {
-       float: right;
-       /*rtl:ignore*/ margin-right: -1px;
+       /*rtl:ignore*/ float: right;
      }
-     #minlat { margin-bottom: -1px; }
    }
  }
  
@@@ -842,6 -846,8 +841,6 @@@
  }
  
  .search_form {
 -  background-color: $lightgrey;
 -
    #query {
      z-index: 0;
    }
@@@ -851,6 -857,10 +850,6 @@@
    }
  }
  
 -.directions_form {
 -  background-color: $lightgrey;
 -}
 -
  /* Rules for user images */
  
  img.user_image {