<commit_before>@import "twitter/bootstrap/bootstrap";
@import "custom_bootstrap/variables";
// this padding needs to be done before the responsive stuff is imported
body {
  padding-top: @navbar-height + 15px;
}

//@import "twitter/bootstrap/responsive";

// Set the correct sprite paths
@iconSpritePath: asset-path("twitter/bootstrap/glyphicons-halflings");
@iconWhiteSpritePath: asset-path("twitter/bootstrap/glyphicons-halflings-white");

// Set the Font Awesome (Font Awesome is default. You can disable by commenting below lines)
@fontAwesomeEotPath: asset-url("fontawesome-webfont.eot");
@fontAwesomeEotPath_iefix: asset-url("fontawesome-webfont.eot#iefix");
@fontAwesomeWoffPath: asset-url("fontawesome-webfont.woff");
@fontAwesomeTtfPath: asset-url("fontawesome-webfont.ttf");
@fontAwesomeSvgPath: asset-url("fontawesome-webfont.svg#fontawesomeregular");

// Font Awesome
//@import "fontawesome/font-awesome";

// Glyphicons
//@import "twitter/bootstrap/sprites.less";


ul.inline > li.first {
  padding-left: 0px;
}

h2 {
  font-size: 150%;
}

h3 {
  font-size: 120%;
}

.main {
  padding-right: 1em;
}

.sidebar {
  margin-left: -1px;
  border-left: 1px solid darken(@beige, 10%);
  padding-left: 1em;
}

// this is used for eg. crops and members index pages
.six-across:nth-child(6n+1) {
  margin-left: 0px
}

.three-across:nth-child(3n+1) {
  margin-left: 0px;
  clear: both;
}

// let's condense the hero unit a little
.hero-unit {
  padding-top: 30px;
  padding-bottom: 30px;
}

// info under the main heading on homepage
.hero-unit .info {
  padding-top: 15px;
}

// signup widget on homepage
.hero-unit .signup {
  background-color: lighten(@green, 40%);
  border: 1px solid lighten(@green, 20%);
  border-radius: 6px;
  padding: 15px;
  text-align: center;
  line-height: 110%;
}

// stats shown on homepage. eg. "999 members..."
p.stats {
  font-weight: bold;
}

.homepage-members {
  height: 100px;
}

.homepage-members:nth-child(odd) {
  margin-left: 0px;
}

#placesmap, #cropmap {
  height: 500px;
}

.member-location {
  font-size: small;
  font-style: italic;
}

.member-location a {
  color: @brown;
}

.crop-thumbnail {
  position:relative;
  padding:0;
  img {
    width:100%;
  }
  .text {
    display:none;
    color:#000;
    position:absolute;
    bottom:0;
    background:rgba(0, 0, 0, 0.8);
    width:100%;
    margin:0;
  }
  p {
    padding:5px;
    margin:0;
    color:#fff;
  }
  &:hover {
    .text {
      display:block;
    }
  }
} 

// Overrides applying only to mobile view

@media only screen and (max-width: 767px) {
  .sidebar {
    margin-left: 0;
    border-left: none;
    padding-left: 0;
  }

  #map {
    height: 300px;
  }
}

li.crop-hierarchy {
  list-style-type: disc;
}

.navbar-inner {
    border-width: 0px !important; 
}

.navbar-bottom {
    margin: 40px 0px 0px 0px !important;
}

// navbar centering
.navbar .nav {
  float: none;
  display: inline-block;
  *display: inline;
  /* ie7 fix */
  *zoom: 1;
  /* hasLayout ie7 trigger */<commit_msg>Navbar centering style for bootstrap3<commit_after>@import "twitter/bootstrap/bootstrap";
@import "custom_bootstrap/variables";
// this padding needs to be done before the responsive stuff is imported
body {
  padding-top: @navbar-height + 15px;
}

//@import "twitter/bootstrap/responsive";

// Set the correct sprite paths
@iconSpritePath: asset-path("twitter/bootstrap/glyphicons-halflings");
@iconWhiteSpritePath: asset-path("twitter/bootstrap/glyphicons-halflings-white");

// Set the Font Awesome (Font Awesome is default. You can disable by commenting below lines)
@fontAwesomeEotPath: asset-url("fontawesome-webfont.eot");
@fontAwesomeEotPath_iefix: asset-url("fontawesome-webfont.eot#iefix");
@fontAwesomeWoffPath: asset-url("fontawesome-webfont.woff");
@fontAwesomeTtfPath: asset-url("fontawesome-webfont.ttf");
@fontAwesomeSvgPath: asset-url("fontawesome-webfont.svg#fontawesomeregular");

// Font Awesome
//@import "fontawesome/font-awesome";

// Glyphicons
//@import "twitter/bootstrap/sprites.less";


ul.inline > li.first {
  padding-left: 0px;
}

h2 {
  font-size: 150%;
}

h3 {
  font-size: 120%;
}

.main {
  padding-right: 1em;
}

.sidebar {
  margin-left: -1px;
  border-left: 1px solid darken(@beige, 10%);
  padding-left: 1em;
}

// this is used for eg. crops and members index pages
.six-across:nth-child(6n+1) {
  margin-left: 0px
}

.three-across:nth-child(3n+1) {
  margin-left: 0px;
  clear: both;
}

// let's condense the hero unit a little
.hero-unit {
  padding-top: 30px;
  padding-bottom: 30px;
}

// info under the main heading on homepage
.hero-unit .info {
  padding-top: 15px;
}

// signup widget on homepage
.hero-unit .signup {
  background-color: lighten(@green, 40%);
  border: 1px solid lighten(@green, 20%);
  border-radius: 6px;
  padding: 15px;
  text-align: center;
  line-height: 110%;
}

// stats shown on homepage. eg. "999 members..."
p.stats {
  font-weight: bold;
}

.homepage-members {
  height: 100px;
}

.homepage-members:nth-child(odd) {
  margin-left: 0px;
}

#placesmap, #cropmap {
  height: 500px;
}

.member-location {
  font-size: small;
  font-style: italic;
}

.member-location a {
  color: @brown;
}

.crop-thumbnail {
  position:relative;
  padding:0;
  img {
    width:100%;
  }
  .text {
    display:none;
    color:#000;
    position:absolute;
    bottom:0;
    background:rgba(0, 0, 0, 0.8);
    width:100%;
    margin:0;
  }
  p {
    padding:5px;
    margin:0;
    color:#fff;
  }
  &:hover {
    .text {
      display:block;
    }
  }
} 

// Overrides applying only to mobile view

@media only screen and (max-width: 767px) {
  .sidebar {
    margin-left: 0;
    border-left: none;
    padding-left: 0;
  }

  #map {
    height: 300px;
  }
}

li.crop-hierarchy {
  list-style-type: disc;
}

.navbar-inner {
    border-width: 0px !important; 
}

.navbar-bottom {
    margin: 40px 0px 0px 0px !important;
}

// navbar centering
.navbar-nav {
  float: none;
  display: inline-block;
  *display: inline;
  /* ie7 fix */
  *zoom: 1;
  /* hasLayout ie7 trigger */
{'fraction_non_alphanumeric': 0.14889736362129, 'fraction_numerical': 0.028685126844636047, 'mean_word_length': 3.371014492753623, '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': '2480890', 'n_tokens_mistral': 2467, 'n_tokens_neox': 2275, 'n_words': 511}