<commit_before>// Global switches
// --------------------------------------------------
// Use silent classes instead of normal ones, to use with extend
$use-silent:                 false !default;
$use-pusher:                 true !default;
$use-puller:                 true !default;
$use-offset:                 true !default;

$use-xs:                     true !default;
$use-sm:                     true !default;
$use-md:                     true !default;
$use-lg:                     true !default;

// Media queries breakpoints
// --------------------------------------------------

// Extra small screen / phone
// Note: Deprecated $screen-xs and $screen-phone as of v3.0.1
$screen-xs:                  480px !default;
$screen-xs-min:              $screen-xs !default;
$screen-phone:               $screen-xs-min !default;

// Small screen / tablet
// Note: Deprecated $screen-sm and $screen-tablet as of v3.0.1
$screen-sm:                  768px !default;
$screen-sm-min:              $screen-sm !default;
$screen-tablet:              $screen-sm-min !default;

// Medium screen / desktop
// Note: Deprecated $screen-md and $screen-desktop as of v3.0.1
$screen-md:                  992px !default;
$screen-md-min:              $screen-md !default;
$screen-desktop:             $screen-md-min !default;

// Large screen / wide desktop
// Note: Deprecated $screen-lg and $screen-lg-desktop as of v3.0.1
$screen-lg:                  1200px !default;
$screen-lg-min:              $screen-lg !default;
$screen-lg-desktop:          $screen-lg-min !default;

// So media queries don't overlap when required, provide a maximum
$screen-xs-max:              ($screen-sm-min - 1) !default;
$screen-sm-max:              ($screen-md-min - 1) !default;
$screen-md-max:              ($screen-lg-min - 1) !default;


// Grid system
// --------------------------------------------------

// Number of columns in the grid system
$grid-columns:               12 !default;
// Padding, to be divided by two and applied to the left and right of all columns
$grid-gutter-width:          30px !default;
// Point at which the navbar stops collapsing
$grid-float-breakpoint:      $screen-sm-min !default;

// Container sizes
// --------------------------------------------------

// Small screen / tablet
$container-tablet:           ((720px + $grid-gutter-width)) !default;
$container-sm:               $container-tablet !default;
<commit_msg>don't need the navbar here<commit_after>// Global switches
// --------------------------------------------------
// Use silent classes instead of normal ones, to use with extend
$use-silent:                 false !default;
$use-pusher:                 true !default;
$use-puller:                 true !default;
$use-offset:                 true !default;

$use-xs:                     true !default;
$use-sm:                     true !default;
$use-md:                     true !default;
$use-lg:                     true !default;

// Media queries breakpoints
// --------------------------------------------------

// Extra small screen / phone
// Note: Deprecated $screen-xs and $screen-phone as of v3.0.1
$screen-xs:                  480px !default;
$screen-xs-min:              $screen-xs !default;
$screen-phone:               $screen-xs-min !default;

// Small screen / tablet
// Note: Deprecated $screen-sm and $screen-tablet as of v3.0.1
$screen-sm:                  768px !default;
$screen-sm-min:              $screen-sm !default;
$screen-tablet:              $screen-sm-min !default;

// Medium screen / desktop
// Note: Deprecated $screen-md and $screen-desktop as of v3.0.1
$screen-md:                  992px !default;
$screen-md-min:              $screen-md !default;
$screen-desktop:             $screen-md-min !default;

// Large screen / wide desktop
// Note: Deprecated $screen-lg and $screen-lg-desktop as of v3.0.1
$screen-lg:                  1200px !default;
$screen-lg-min:              $screen-lg !default;
$screen-lg-desktop:          $screen-lg-min !default;

// So media queries don't overlap when required, provide a maximum
$screen-xs-max:              ($screen-sm-min - 1) !default;
$screen-sm-max:              ($screen-md-min - 1) !default;
$screen-md-max:              ($screen-lg-min - 1) !default;


// Grid system
// --------------------------------------------------

// Number of columns in the grid system
$grid-columns:               12 !default;
// Padding, to be divided by two and applied to the left and right of all columns
$grid-gutter-width:          30px !default;

// Container sizes
// --------------------------------------------------

// Small screen / tablet
$container-tablet:           ((720px + $grid-gutter-width)) !default;
$container-sm:               $container-tablet !default;

{'fraction_non_alphanumeric': 0.2017194380373244, 'fraction_numerical': 0.014678129586915495, 'mean_word_length': 1.4625709860609188, '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': '1171757', 'n_tokens_mistral': 1365, 'n_tokens_neox': 1297, 'n_words': 390}