<commit_before>@canvasHeight: 480px;
@headerHeight: 150px;
@toolsHeight: 100px;

@separatorWidth: 50px;
@hoverSeparatorWidth: 100px;

@tilesetWidth: 2622px; // retina
@tilesetHeight: 384px;

@tileSize: 12px;

@skyColour: rgb(179, 205, 209);

@warningColour: rgb(220, 80, 80);

html {
  height: 100%;
}
body {
  margin: 0;
  padding: 0;

  height: 100%;

  overflow: hidden;

  background: rgb(53, 45, 39);
}

header {
  position: absolute;
  top: 0;
  left: 0;
  right: 0;
  margin: 0 auto;

  z-index: 100000;

  color: white;
  font-family: Arial, sans-serif;
  font-size: 12px;  

  background: desaturate(darken(@skyColour, 5%), 10%);
  width: 511px;
  padding: 10px 10px;

  border-radius: 0 0 10px 10px;

  box-shadow: 0 2px 5px rgba(0, 0, 0, .2);
  text-shadow: 0 1px 1px rgba(0, 0, 0, .3);
}

header .options {
  height: 30px;
  width: 275px;
  float: left;
  text-align: center;
  padding-right: 10px;
  padding-left: 10px;
}


.options .width {
  margin-top: 14px;
  float: left;
  width: 50%;
  text-align: left;
}

#street-width {
  font-family: 'Times New Roman', serif;
  font-style: italic;
  font-size: 14px;
}
#street-width option {
  text-align: right;
  font-family: 'Arial', sans-serif;
  font-size: 12px;  
}
#used-width,
#remaining-width {
  display: inline-block;
  text-align: left;
  width: 50px;

  font-family: 'Times New Roman', serif;
  font-style: italic;
  font-size: 14px;
}

#remaining {
  text-align: right;
}

#remaining[type="over"] {
  color: rgb(180, 40, 40);
}
#remaining[type="over"] .room {
  display: none;
}
#remaining[type="zero"] {
  opacity: 0;
}
#remaining[type="room"] .over {
  display: none;
}

header .sizes {
  border-left: 1px solid rgba(0, 0, 0, .1);
  width: 200px;
  padding-left: 10px;
  margin: -10px 0;
  margin-bottom: -5px;
  float: left;
  pointer-events: none;
}
header .sizes ul {<commit_msg>Re-style header.<commit_after>@canvasHeight: 480px;
@headerHeight: 150px;
@toolsHeight: 100px;

@separatorWidth: 50px;
@hoverSeparatorWidth: 100px;

@tilesetWidth: 2622px; // retina
@tilesetHeight: 384px;

@tileSize: 12px;

@skyColour: rgb(179, 205, 209);

@warningColour: rgb(220, 80, 80);

html {
  height: 100%;
}
body {
  margin: 0;
  padding: 0;

  height: 100%;

  overflow: hidden;

  background: rgb(53, 45, 39);
}

header {
  position: absolute;
  top: 20px;
  left: 0;
  right: 0;
  margin: 0 auto;

  z-index: 100000;

  color: white;
  font-family: Arial, sans-serif;
  font-size: 12px;  

  width: 511px;
  padding: 10px;

  background: -webkit-linear-gradient(rgba(0, 0, 0, .02), rgba(0, 0, 0, .05));
  border: 1px solid rgba(255, 255, 255, .8);
  border-radius: 5px;
  box-shadow: inset 0 1px 1px rgba(0, 0, 0, .2);

  text-shadow: 0 1px 1px rgba(0, 0, 0, .3);
}

header .options {
  height: 30px;
  width: 275px;
  float: left;
  text-align: center;
  padding-right: 10px;
  padding-left: 10px;
}


.options .width {
  margin-top: 14px;
  float: left;
  width: 50%;
  text-align: left;
}

#street-width {
  font-family: 'Times New Roman', serif;
  font-style: italic;
  font-size: 14px;
}
#street-width option {
  text-align: right;
  font-family: 'Arial', sans-serif;
  font-size: 12px;  
}
#used-width,
#remaining-width {
  display: inline-block;
  text-align: left;
  width: 50px;

  font-family: 'Times New Roman', serif;
  font-style: italic;
  font-size: 14px;
}

#remaining {
  text-align: right;
}

#remaining[type="over"] {
  color: rgb(180, 40, 40);
}
#remaining[type="over"] .room {
  display: none;
}
#remaining[type="zero"] {
  opacity: 0;
}
#remaining[type="room"] .over {
  display: none;
}

header .sizes {
  border-left: 1px solid rgba(255, 255, 255, .8);
  width: 200px;
  padding-left: 10px;
  margin: -10px 0;
  padding-bottom: 5px;
  float: left;
  pointer-events: none;
}
header .sizes ul {
{'fraction_non_alphanumeric': 0.16437632135306554, 'fraction_numerical': 0.0776955602536998, 'mean_word_length': 3.516706443914081, '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': '5474017', 'n_tokens_mistral': 1872, 'n_tokens_neox': 1551, 'n_words': 402}