// override gov.uk page elements

html {
  background: white;
}

body,
body.js-enabled {
  padding: 0;
}

#global-header {
  .header-proposition {
    #proposition-name,
    #proposition-links li a.active {
      color: $inside-gov-secondary;
    }
    #proposition-menu {
      margin-top: $gutter+$gutter-one-sixth+2px;
      // 37px is the amount of margin required to line up the nav list with the top of the search box after removing Inside Gov heading
    }
  }
  form#search input.submit {
    background-color: $inside-gov-secondary;
    &:hover {
      background-color: lighten($inside-gov-secondary, 5%);
    }
  }
}

// override gov.uk page elements

html {
  background: white;
}

body,
body.js-enabled {
  padding: 0;
}

#global-header {
  .header-proposition {
    #proposition-name,
    #proposition-links li a.active {
      color: $inside-gov-secondary;
    }
    #proposition-menu {
      @include media(desktop){
        margin-top: $gutter+$gutter-one-sixth+2px;
        // 37px is the amount of margin required to line up the nav list with the top of the search box after removing Inside Gov heading
      }
    }
  }
  form#search input.submit {
    background-color: $inside-gov-secondary;
    &:hover {
      background-color: lighten($inside-gov-secondary, 5%);
    }
  }
}

Fix the spacing in the global header on devices
Fix the spacing in the global header on devices

Due to the way the extra spacing is added where the text used to be on
mobile it pushes the menu down to far. This removes that space.
