<commit_before>/*** SHARED CSS ***/

.ui-pnotify {
  z-index: 500;
}

@media (min-width: 790px) {
  ul.nav li.dropdown:hover > ul.dropdown-menu {
    display: block;
  }
}

html {
  width: 100%;
  height: 100%;
}
body { height: 100%;}

main {
  margin-top: 70px;
  padding-bottom: 70px;
}

main.pushed {
  margin-left: 220px;
}

a.undecorated {
  color: inherit;
  text-decoration: inherit;
  font-weight: inherit;
}

.table-pic {
  width: 50px;
}

.right {
  float: right;
}

.left {
  float: left;
}

.larger {
  font-size: 120%;
}

.full-width {
  width: 100%;
}

.no-margin {
  margin: 0;
}

@media (max-width: 768px) {
  navbar.navbar-fixed-bottom > container{
    height: 50px;
  }
}

#mobile-bottom-bar {
  height: 50px;
  display: flex;
  flex-flow: row wrap;
  justify-content: space-between;
}

.navbar-pic {height: 50px;}

#mobile-bottom-bar a{
  flex: 1;
  padding: 10px 10px 10px 20px;
  font-size: 1.5em;
  color: white;
  text-decoration: none;
}

#mobile-bottom-bar a:hover {
  background-color: #090909;
}

.center {
  text-align: center;
}

#sidebar {
  overflow: auto;
  z-index: 100;
  padding: 20px;
  padding-top: 50px;
  color: white;<commit_msg>Padded jumbotrons on mobile (closes #56)<commit_after>/*** SHARED CSS ***/

.ui-pnotify {
  z-index: 500;
}

@media (min-width: 790px) {
  ul.nav li.dropdown:hover > ul.dropdown-menu {
    display: block;
  }
}

html {
  width: 100%;
  height: 100%;
}
body { height: 100%;}

main {
  margin-top: 70px;
  padding-bottom: 70px;
}

main.pushed {
  margin-left: 220px;
}

.jumbotron {
  padding-left: 20px;
  padding-right: 20px;
}

a.undecorated {
  color: inherit;
  text-decoration: inherit;
  font-weight: inherit;
}

.table-pic {
  width: 50px;
}

.right {
  float: right;
}

.left {
  float: left;
}

.larger {
  font-size: 120%;
}

.full-width {
  width: 100%;
}

.no-margin {
  margin: 0;
}

.center {
  text-align: center;
}

#sidebar {
  overflow: auto;
  z-index: 100;
  padding: 20px;
  padding-top: 50px;
  color: white;
{'fraction_non_alphanumeric': 0.16766766766766766, 'fraction_numerical': 0.05405405405405406, 'mean_word_length': 2.911937377690802, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 6, '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': '6229078', 'n_tokens_mistral': 964, 'n_tokens_neox': 852, 'n_words': 186}