<commit_before>:global {
  @import 'base';
  @import 'vendor/normalize';

  // Some best-practice CSS that's useful for most apps
  // Just remove them if they're not what you want
  html {
    box-sizing: border-box;
  }

  html,
  body {
    margin: 0;
    padding: 0;
    height: 100%;
  }
  a {
   text-decoration: none;
  }

  #header-logo {
   margin-top: -.8em;
  }

  .header-nav-option:hover {
   color: #eee;
   background-color: #333;
   text-decoration: none;
   font-weight:300;

  }

  #map {
   position: fixed;
   top: 6vh;
   bottom: 0;
   width: 100%;
   z-index: 1;
  }

  #visualization-dashboard {
   height: 50px;
   width: 50px;
   margin-top: 45%;
   position: absolute;
   background-color: white;
   border-radius: 10px;
   opacity: 0.9;
   z-index: 2;
  }
  #data-input {
   height: 50px;
   width: 50px;
   margin-top: 45%;
   background-color: white;
   border-radius: 10px;
   opacity: 0.9;
   z-index: 2;
   position: relative;
   float: right;
   /*position: fixed;*/
  }

  #layer-selection {
    height: 30px;
    width: 30px;
    margin-top: 3%;
    position: absolute;
    background-color: white;
    border-radius: 5px;
    opacity: 0.9;
    z-index: 3;
  }


  .dashboard-opened-glyph {
   float: right;
   margin: -1px;
   padding-left: 5px;
   padding-right: 5px;
   padding-top: 10px;
   background-color: rgb(113, 196, 237);
   height: 36px;
  }

  .dashboard-glyph-closed {
   padding-left: 12.5px;
   padding-top: 10px;
   font-size: 2em;
   display: block;
  }

  .dashboard-closed-tabs {
   display: none;
  }
  .layer-list-opened {
    width: 20% !important;
    height: 90% !important;
    overflow:auto;
  }

  .dashboard-opened {
   margin-top: 25vh !important;<commit_msg>Changed dimensions in css<commit_after>:global {
  @import 'base';
  @import 'vendor/normalize';

  // Some best-practice CSS that's useful for most apps
  // Just remove them if they're not what you want
  html {
    box-sizing: border-box;
  }

  html,
  body {
    margin: 0;
    padding: 0;
    height: 100%;
  }
  a {
   text-decoration: none;
  }

  #header-logo {
   margin-top: -.8em;
  }

  .header-nav-option:hover {
   color: #eee;
   background-color: #333;
   text-decoration: none;
   font-weight:300;

  }

  #map {
   position: fixed;
   top: 6vh;
   bottom: 0;
   width: 100%;
   z-index: 1;
  }

  #visualization-dashboard {
   height: 50px;
   width: 50px;
   margin-top: 47.5em;
   position: absolute;
   background-color: white;
   border-radius: 10px;
   opacity: 0.9;
   z-index: 2;
  }
  #data-input {
   height: 50px;
   width: 50px;
   margin-top: 47.5em;
   background-color: white;
   border-radius: 10px;
   opacity: 0.9;
   z-index: 2;
   position: relative;
   float: right;
   /*position: fixed;*/
  }

  #layer-selection {
    height: 30px;
    width: 30px;
    margin-top: 3%;
    position: absolute;
    background-color: white;
    border-radius: 5px;
    opacity: 0.9;
    z-index: 3;
  }


  .dashboard-opened-glyph {
   float: right;
   margin: -1px;
   padding-left: 5px;
   padding-right: 5px;
   padding-top: 10px;
   background-color: rgb(113, 196, 237);
   height: 36px;
  }

  .dashboard-glyph-closed {
   padding-left: 12.5px;
   padding-top: 10px;
   font-size: 2em;
   display: block;
  }

  .dashboard-closed-tabs {
   display: none;
  }
  .layer-list-opened {
    width: 25em !important;
    height: 90% !important;
    overflow:auto;
  }

  .dashboard-opened {
   margin-top: 25vh !important;
{'fraction_non_alphanumeric': 0.1410441303720796, 'fraction_numerical': 0.044995673492933375, 'mean_word_length': 2.3801169590643276, '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': '6160555', 'n_tokens_mistral': 1494, 'n_tokens_neox': 1308, 'n_words': 310}