<commit_before>/* Header layout */

#banner_content{
    @include grid-row;
    position: relative;
}

#banner{
    // Hide menu items by default on mobile
    #logged_in_bar,
    #topnav,
    #user_locale_switcher{
        display:none;
    }

    // …and show a button to reveal them
    .rsp_menu_button{
        @include grid-column(4);
        float: right;
        a{
            @include button($padding:1, $bg: white);
            &.open{
                display: block;
            }
            &.close{
                display: none;
            }
        }
    }

    // Squeeze the logo up on small screens to make room for the button
    #logo_wrapper{
        @include grid-column(4);
        margin-bottom: 1em;
        padding: 1em;
    }

    &:target{
        // Hide menu button when menu is open
        .rsp_menu_button{
            .open{
                display:none;
            }
            .close{
                display:block;
            }
        }
        @media( max-width: $main_menu-mobile_menu_cutoff ){
            // Show menu items when menu is targeted
            #logged_in_bar,
            #topnav,
            #user_locale_switcher{
                display:block;
                clear:both;
            }
        }


    }

    @media( min-width: $main_menu-mobile_menu_cutoff ){
        // On larger screens show the menu
        #banner_nav,
        #logged_in_bar,
        #topnav,
        #user_locale_switcher{
            display:block;
        }

        // …and hide the menu button
        .rsp_menu_button{
            display:none;
        }
    }

}


#topnav{
  padding: 0  0 1em 0;
  @media( min-width: $main_menu-mobile_menu_cutoff ){
      padding: 0;
  }
}

#navigation {
    list-style: none outside none;
    @include grid-row;
    padding: 0;
    position: relative;
    border-bottom: 1px solid #e9e9e9;
    /* Spread the nav elements horizontally on larger screens */
    li{
        display: block;
        @media( min-width: $main_menu-mobile_menu_cutoff ){
          display: inline-block;
        }
    }
    a{
      padding: 0.5em 1em;
      display: block;
      @media( min-width: $main_menu-mobile_menu_cutoff ){
        display: inline-block;
      }
    }
}

#navigation_search {
   @media( min-width: $main_menu-mobile_menu_cutoff ){
        position: absolute;
        top: 0;
        right: 0;
  }
  form{
        @include grid-row;
        padding-right: 1em;
    }
    input{
        @include grid-column($columns:9);
        margin:0;<commit_msg>remove stylistic code<commit_after>/* Header layout */

#banner_content{
    @include grid-row;
    position: relative;
}

#banner{
    // Hide menu items by default on mobile
    #logged_in_bar,
    #topnav,
    #user_locale_switcher{
        display:none;
    }

    // …and show a button to reveal them
    .rsp_menu_button{
        @include grid-column(4);
        float: right;
        a {
            &.open{
                display: block;
            }
            &.close{
                display: none;
            }
        }
    }

    // Squeeze the logo up on small screens to make room for the button
    #logo_wrapper{
        @include grid-column(4);
        margin-bottom: 1em;
        padding: 1em;
    }

    &:target{
        // Hide menu button when menu is open
        .rsp_menu_button{
            .open{
                display:none;
            }
            .close{
                display:block;
            }
        }
        @media( max-width: $main_menu-mobile_menu_cutoff ){
            // Show menu items when menu is targeted
            #logged_in_bar,
            #topnav,
            #user_locale_switcher{
                display:block;
                clear:both;
            }
        }


    }

    @media( min-width: $main_menu-mobile_menu_cutoff ){
        // On larger screens show the menu
        #banner_nav,
        #logged_in_bar,
        #topnav,
        #user_locale_switcher{
            display:block;
        }

        // …and hide the menu button
        .rsp_menu_button{
            display:none;
        }
    }

}


#topnav{
  padding: 0  0 1em 0;
  @media( min-width: $main_menu-mobile_menu_cutoff ){
      padding: 0;
  }
}

#navigation {
    list-style: none outside none;
    @include grid-row;
    padding: 0;
    position: relative;
    /* Spread the nav elements horizontally on larger screens */
    li{
        display: block;
        @media( min-width: $main_menu-mobile_menu_cutoff ){
          display: inline-block;
        }
    }
    a{
      padding: 0.5em 1em;
      display: block;
      @media( min-width: $main_menu-mobile_menu_cutoff ){
        display: inline-block;
      }
    }
}

#navigation_search {
   @media( min-width: $main_menu-mobile_menu_cutoff ){
        position: absolute;
        top: 0;
        right: 0;
  }
  form{
        @include grid-row;
        padding-right: 1em;
    }
    input{
        @include grid-column($columns:9);
        margin:0;
{'fraction_non_alphanumeric': 0.10100401606425703, 'fraction_numerical': 0.00823293172690763, 'mean_word_length': 1.48428927680798, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '3103377', 'n_tokens_mistral': 1602, 'n_tokens_neox': 1548, 'n_words': 361}