<commit_before>//
// Shift header sizes (reduce to lower level)
//

h1 { font-size: 30px; line-height: 40px; }
h2 { font-size: 24px; line-height: 40px; }
h3 { font-size: 18px; line-height: 20px; }
h4 { font-size: 14px; line-height: 20px; }
h5 { font-size: 12px; line-height: 20px; }

h1 small { font-size: 18px; }
h2 small { font-size: 14px; }
h3 small { font-size: 14px; }

//
// Sticky navbar
//

.navbar-fixed-top
  position static
  margin-bottom baseLineHeight

//
// Responsive menu button (3 lines) with pure css
//

.navbar .btn-navbar > span
  display block
  width 20px
  height 2px
  border-top 6px double navbarText
  border-bottom 2px solid navbarText
  margin 1px 0

//
// Brand text
//

.navbar .brand
  color gray
  font-weight bold
  font-family sansWideFontFamily
  transition color 0.5s ease-in-out

//
// Buttons tweaks
//
.btn
  background-image none
  transition background-color 0.3s ease-in-out
  &:hover
    transition background-color 0.3s ease-in-out
.btn-icon-only
  min-width 40px
  &:before
    margin 0
.btn.disabled, .btn[disabled]
  opacity .4

.input-append
  whitespace nowrap

//
// Search icon
//

.navbar-search
  .search-query
    padding-left 25px
    font-size 14px
    &:focus, &.focused
      padding-left 25px !important
      background-color grayLighter !important
  .icon-search
    position absolute
    top 5px
    left 8px
    &.focused
      color grayDark

//
// topnav underline for avtive item
//

.navbar .nav .active
  position relative
  &:before
    border-bottom 2px solid gray
    bottom 0px
    content ""
    height 2px
    position absolute
    width 100%

//
// Collapser fix IE9 hack crashes all.
//

.collapse
  overflow hidden<commit_msg>updated nav selection underline<commit_after>//
// Shift header sizes (reduce to lower level)
//

h1 { font-size: 30px; line-height: 40px; }
h2 { font-size: 24px; line-height: 40px; }
h3 { font-size: 18px; line-height: 20px; }
h4 { font-size: 14px; line-height: 20px; }
h5 { font-size: 12px; line-height: 20px; }

h1 small { font-size: 18px; }
h2 small { font-size: 14px; }
h3 small { font-size: 14px; }

//
// Sticky navbar
//

.navbar-fixed-top
  position static
  margin-bottom baseLineHeight

//
// Responsive menu button (3 lines) with pure css
//

.navbar .btn-navbar > span
  display block
  width 20px
  height 2px
  border-top 6px double navbarText
  border-bottom 2px solid navbarText
  margin 1px 0

//
// Brand text
//

.navbar .brand
  color gray
  font-weight bold
  font-family sansWideFontFamily
  transition color 0.5s ease-in-out

//
// Buttons tweaks
//
.btn
  background-image none
  transition background-color 0.3s ease-in-out
  &:hover
    transition background-color 0.3s ease-in-out
.btn-icon-only
  min-width 40px
  &:before
    margin 0
.btn.disabled, .btn[disabled]
  opacity .4

.input-append
  whitespace nowrap

//
// Search icon
//

.navbar-search
  .search-query
    padding-left 25px
    font-size 14px
    &:focus, &.focused
      padding-left 25px !important
      background-color grayLighter !important
  .icon-search
    position absolute
    top 5px
    left 8px
    &.focused
      color grayDark

//
// topnav underline for avtive item
//

.navbar .nav .active
  position relative
  &:before
    border-bottom 2px solid gray
    bottom 1px
    content ""
    height 2px
    position absolute
    width 100%

//
// Collapser fix IE9 hack crashes all.
//

.collapse
  overflow hidden
{'fraction_non_alphanumeric': 0.1073512252042007, 'fraction_numerical': 0.039089848308051345, 'mean_word_length': 2.579331941544885, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 5, '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': '665516', 'n_tokens_mistral': 1325, 'n_tokens_neox': 1198, 'n_words': 362}