<commit_before>/* Table of Contents
 * -- Includes
 * -- Variables
 * -- Sitewide
 * -- Individual pages
 */

/* Includes
==================== */

@import "node_modules/bootstrap/less/bootstrap";
@import (reference) "node_modules/@caktus/flexless/flex.less";

/* Variables
==================== */

// http://paletton.com/palette.php?uid=13z0u0kllllaFw0g0qFqFg0w0aF
@brand-primary:    #133453;
@brand-secondary:  #728DA5;
@brand-tertiary:   #4A6B8A;
@brand-quaternary: #041F37;
@link-color:       @brand-tertiary;
@link-hover-color: darken(@link-color, 30%);
@border-radius-base: 2px;

@navbar-default-link-color: @brand-primary;
@navbar-default-link-hover-color: @brand-quaternary;
@navbar-inverse-bg: @brand-primary;
@navbar-inverse-border: @brand-primary;
@navbar-inverse-link-color: white;

/* Sitewide
==================== */

.odp-nav.navbar-inverse .navbar-nav > .active > a,
.odp-nav.navbar-inverse .navbar-nav > .active > a:hover,
.odp-nav.navbar-inverse .navbar-nav > li > a:hover{
  background-color: @brand-secondary;
}

h1, h2, h3, h4, h5 {
  color: @brand-primary;
}

.nav-tabs {
  margin-top: 1rem;

  > li {
    > a {
      > h2 {
        margin: 0;
      }

      &:hover {
        background-color: #e3e3e3;
      }
    }

    &.active {
      > a {
        background-color: transparent !important;
        border-bottom-color: #efefef !important;
      }
    }
  }
}

.btn.brand {
  background-color: @brand-secondary;
  color: white;
  border-radius: 0;
  font-size: 16px;
  padding: 1rem 2rem;
  text-shadow: none;

  &:hover {
    background-color: @brand-tertiary;
  }
}

.table-responsive {
  table {
    word-wrap: break-word;

    /***
     * Not sure why this is necessary, but responsive tables were breaking
     * without explicitly telling tables that it's OK to be more than 100% width.
     *
     * It's also necessary to tell it that it needs to be *at least* 100% width,
     * lest it not take up the available space in its container and leave behind
     * a residue container styling.
     */
    &.table {
      width: auto;
      min-width: 100%;
    }
  }
}

/***
 * Element to show and hide collapsable content.
 */
.collapser {
  cursor: pointer;
  text-align: center;
  font-size: 16px;

  &[aria-expanded="false"] {
    & > .collapsed {
      display: inline-block;
    }
    & > .shown {
      display: none;
    }
  }
  &[aria-expanded="true"] {
    & > .collapsed {
      display: none;
    }
    & > .shown {
      display: inline-block;
    }
  }
}

/* Sticky footer styles
-------------------------------------------------- */

html,
body {
  height: 100%;
  /* The html and body elements cannot have any padding or margin. */
  font-family: 'Droid Sans', sans-serif;
}

body {
  position: relative;
}

/* Wrapper for page content to push down footer */
#wrap {
  background-color: #efefef;
  min-height: 100%;
  height: auto;
  /* Negative indent footer by its height */
  margin: 0 auto -60px;
  /* Pad bottom by footer height */
  padding: 0 0 60px;
}

/* Set the fixed height of the footer here */
#footer {
  min-height: 96px;
  background-color: #f5f5f5;
  z-index: 2;

  @media (min-width: 640px) {
    min-height: 48px;
  }
}

#wrap > .container {
  padding: 15px 15px 0;
}
#wrap > .odp-nav + .container {
  padding-top: 65px;
}
.container .credit {
  margin: 20px 0;
}

#footer > .container {
  padding-left: 15px;
  padding-right: 15px;
  p {
    text-align: center;
  }
}

code {<commit_msg>removed extra padding from footer in mobile<commit_after>/* Table of Contents
 * -- Includes
 * -- Variables
 * -- Sitewide
 * -- Individual pages
 */

/* Includes
==================== */

@import "node_modules/bootstrap/less/bootstrap";
@import (reference) "node_modules/@caktus/flexless/flex.less";

/* Variables
==================== */

// http://paletton.com/palette.php?uid=13z0u0kllllaFw0g0qFqFg0w0aF
@brand-primary:    #133453;
@brand-secondary:  #728DA5;
@brand-tertiary:   #4A6B8A;
@brand-quaternary: #041F37;
@link-color:       @brand-tertiary;
@link-hover-color: darken(@link-color, 30%);
@border-radius-base: 2px;

@navbar-default-link-color: @brand-primary;
@navbar-default-link-hover-color: @brand-quaternary;
@navbar-inverse-bg: @brand-primary;
@navbar-inverse-border: @brand-primary;
@navbar-inverse-link-color: white;

/* Sitewide
==================== */

.odp-nav.navbar-inverse .navbar-nav > .active > a,
.odp-nav.navbar-inverse .navbar-nav > .active > a:hover,
.odp-nav.navbar-inverse .navbar-nav > li > a:hover{
  background-color: @brand-secondary;
}

h1, h2, h3, h4, h5 {
  color: @brand-primary;
}

.nav-tabs {
  margin-top: 1rem;

  > li {
    > a {
      > h2 {
        margin: 0;
      }

      &:hover {
        background-color: #e3e3e3;
      }
    }

    &.active {
      > a {
        background-color: transparent !important;
        border-bottom-color: #efefef !important;
      }
    }
  }
}

.btn.brand {
  background-color: @brand-secondary;
  color: white;
  border-radius: 0;
  font-size: 16px;
  padding: 1rem 2rem;
  text-shadow: none;

  &:hover {
    background-color: @brand-tertiary;
  }
}

.table-responsive {
  table {
    word-wrap: break-word;

    /***
     * Not sure why this is necessary, but responsive tables were breaking
     * without explicitly telling tables that it's OK to be more than 100% width.
     *
     * It's also necessary to tell it that it needs to be *at least* 100% width,
     * lest it not take up the available space in its container and leave behind
     * a residue container styling.
     */
    &.table {
      width: auto;
      min-width: 100%;
    }
  }
}

/***
 * Element to show and hide collapsable content.
 */
.collapser {
  cursor: pointer;
  text-align: center;
  font-size: 16px;

  &[aria-expanded="false"] {
    & > .collapsed {
      display: inline-block;
    }
    & > .shown {
      display: none;
    }
  }
  &[aria-expanded="true"] {
    & > .collapsed {
      display: none;
    }
    & > .shown {
      display: inline-block;
    }
  }
}

/* Sticky footer styles
-------------------------------------------------- */

html,
body {
  height: 100%;
  /* The html and body elements cannot have any padding or margin. */
  font-family: 'Droid Sans', sans-serif;
}

body {
  position: relative;
}

/* Wrapper for page content to push down footer */
#wrap {
  background-color: #efefef;
  min-height: 100%;
  height: auto;
  /* Negative indent footer by its height */
  margin: 0 auto -60px;
  /* Pad bottom by footer height */
  padding: 0 0 60px;
}

/* Set the fixed height of the footer here */
#footer {
  background-color: #f5f5f5;
  z-index: 2;

  @media (min-width: 640px) {
    min-height: 48px;
  }
}

#wrap > .container {
  padding: 15px 15px 0;
}
#wrap > .odp-nav + .container {
  padding-top: 65px;
}
.container .credit {
  margin: 20px 0;
}

#footer > .container {
  padding-left: 15px;
  padding-right: 15px;
  p {
    text-align: center;
  }
}

code {
{'fraction_non_alphanumeric': 0.17360508817577333, 'fraction_numerical': 0.026886383347788378, 'mean_word_length': 2.515752032520325, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 37, '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': '4135706', 'n_tokens_mistral': 2673, 'n_tokens_neox': 2448, 'n_words': 604}