<commit_before>$fontStack: Chicago, Helvetica, Swiss, Verdana, sans-serif;
$fontSize: 12px;

$borderWidth: 1px;

$ColorWhite: rgb(255,255,255);
$ColorBlack: rgb(0,0,0);
$ColorGrey: rgb(195, 195, 195);
$ColorMediumGrey: rgb(150, 150, 150);
$ColorDarkGrey: rgb(85, 85, 85);
$ColorDarkBlue: rgb(3, 17, 34);
$ColorShadow: rgb(8, 24, 57);
$ColorYellow: rgb(223, 223, 0);
$ColorOrange: rgb(234, 145, 0);
$ColorRed: rgb(191, 0, 2);
$ColorPASPDark: rgb(33, 49, 74);
$ColorPASPLight: rgb(41, 74, 107);




button {
  font-size: $fontSize;
  background-color: $ColorDarkBlue;
  color: $ColorWhite;
  border: $borderWidth solid $ColorWhite;
  padding: 0px;
  margin: 0px;
}

button[disabled] {
  color: $ColorDarkGrey;
}


@mixin absoluteWidthHeight($w, $h) {
    width: $w;
    height: $h;
    max-width: $w;
    max-height: $h;    
}

.MenuWindow {

  font-family: $fontStack;
  background-color: $ColorDarkBlue;
  border: $borderWidth solid $ColorWhite;
  width: 306px;
  height: 450px;
  
  .MenuTitle {
    background-color: $ColorBlack;
    color: $ColorGrey;
    @include absoluteWidthHeight(306px, 24px);
  }

  .MenuButtons {
    width: 306px;
    max-width: 306px;
    position: absolute;
    top: 50px;
    
    button {
      @include absoluteWidthHeight(153px, 50px);
    }

    .EmptyButton {
      @include absoluteWidthHeight(153px, 50px);
    }


  }

  .MenuClose {
    width: 82px;
    height: 50px;
    max-width: 82px;
    max-height: 50px;

    position: absolute;
    top: 400px;

    button { width: 100%; height: 100%; font-size: 24px }
      <commit_msg>fixed some border definitions in css<commit_after>$fontStack: Chicago, Helvetica, Swiss, Verdana, sans-serif;
$fontSize: 12px;

$borderWidth: 1px;

$ColorWhite: rgb(255,255,255);
$ColorBlack: rgb(0,0,0);
$ColorGrey: rgb(195, 195, 195);
$ColorMediumGrey: rgb(150, 150, 150);
$ColorDarkGrey: rgb(85, 85, 85);
$ColorDarkBlue: rgb(3, 17, 34);
$ColorShadow: rgb(8, 24, 57);
$ColorYellow: rgb(223, 223, 0);
$ColorOrange: rgb(234, 145, 0);
$ColorRed: rgb(191, 0, 2);
$ColorPASPDark: rgb(33, 49, 74);
$ColorPASPLight: rgb(41, 74, 107);



body {
  background-color: red;
  }
    
button {
  font-size: $fontSize;
  background-color: $ColorDarkBlue;
  color: $ColorWhite;
  border: $borderWidth solid $ColorWhite;
  padding: 0px;
  margin: 0px;
}

button[disabled] {
  color: $ColorDarkGrey;
}


@mixin absoluteWidthHeight($w, $h) {
    width: $w;
    height: $h;
    max-width: $w;
    max-height: $h;    
}

.MenuWindow {
  position: abolute;
  top: 123px;
  
  font-family: $fontStack;
  background-color: $ColorDarkBlue;
  border: $borderWidth solid $ColorWhite;
  width: 306px;
  height: 450px;
  
  .MenuTitle {
    background-color: $ColorBlack;
    color: $ColorGrey;
    border: $borderWidth solid $ColorWhite;
    
    @include absoluteWidthHeight(304px, 24px);
  }

  .MenuButtons {
    width: 306px;
    max-width: 306px;
    position: absolute;
    top: 50px;
    
    button {
      @include absoluteWidthHeight(153px, 50px);
    }

    .EmptyButton {
      @include absoluteWidthHeight(153px, 50px);
    }


  }

  .MenuClose {
    width: 82px;
    height: 50px;
    max-width: 82px;
    max-height: 50px;

    position: absolute;
    top: 400px;

    button { width: 100%; height: 100%; font-size: 24px }
      
{'fraction_non_alphanumeric': 0.14815941588074233, 'fraction_numerical': 0.08062062671128689, 'mean_word_length': 3.473469387755102, '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': '6158772', 'n_tokens_mistral': 1527, 'n_tokens_neox': 1249, 'n_words': 298}