<commit_before>.navbar-header{
	z-index: 850;
}

.navbar-header h1 {
	margin-top: 2px;
	margin-bottom: 2px;
	padding-top: 5px;
	padding-bottom: 10px;
}	
.navbar-header h1 {
	/* Fun text rotation */
	-webkit-transform: rotate(-3deg);
	-moz-transform: rotate(-3deg);
	-o-transform: rotate(-3deg);
	-ms-transform: rotate(-3deg);
}

.navbar-header h1 a {
	color:white;
	text-decoration: none;
}

#logo-title {
	padding-left: 55px;
	background-image: url(../img/gotraps-logo_64.png);
	background-repeat: no-repeat;
	overflow: visible; 
}

/* Poor attempt to keep sidebar on mobile 
@media (max-width: 768px) {
  .sidebar {
    bottom: 0;
    left: 0;
    z-index: 1000;
    display: block;
    padding: 20px;
    overflow-x: hidden;
    overflow-y: auto;
    background-color: #f5f5f5;
    border-right: 1px solid #eee;
  }
}
*/

@media (min-width: 768px) {
	.navbar-collapse.collapse.trap-list{
		display: none !important;
	}
}
.navbar-toggle{
	z-index: 860;
}


.trap-link{
	font-weight: bold;
}

@media (max-width: 768px) {
  .main{
  	 margin-top: 20px;
  }
}

#overview .illustration {
	margin-top: 20px;
	margin-left: -40px;
	margin-right: 20px;
	margin-bottom: 20px;
}

#compile-errors{
	color: #B00;
}

#title-discussion {
	cursor: pointer;
}

a.playground {
  padding-left: 18px;
  padding-right: 3px;
  background-image: url(/static/default/img/playground_mini.png);
  background-repeat: no-repeat;
  background-position: left;
  border: 1px #DDD solid;
}

#see-also li.sep{
	margin-top: 30px;
}

.footer {
	margin-top: 60px;
	padding-top: 5px;
	padding-left: 5px;
	background-color: #f5f5f5;
}<commit_msg>Mobile menu: brighter grey elements<commit_after>.navbar-header{
	z-index: 850;
}

.navbar-header h1 {
	margin-top: 2px;
	margin-bottom: 2px;
	padding-top: 5px;
	padding-bottom: 10px;
}	
.navbar-header h1 {
	/* Fun text rotation */
	-webkit-transform: rotate(-3deg);
	-moz-transform: rotate(-3deg);
	-o-transform: rotate(-3deg);
	-ms-transform: rotate(-3deg);
}

.navbar-header h1 a {
	color:white;
	text-decoration: none;
}

#logo-title {
	padding-left: 55px;
	background-image: url(../img/gotraps-logo_64.png);
	background-repeat: no-repeat;
	overflow: visible; 
}

/* Poor attempt to keep sidebar on mobile 
@media (max-width: 768px) {
  .sidebar {
    bottom: 0;
    left: 0;
    z-index: 1000;
    display: block;
    padding: 20px;
    overflow-x: hidden;
    overflow-y: auto;
    background-color: #f5f5f5;
    border-right: 1px solid #eee;
  }
}
*/

@media (min-width: 768px) {
	.navbar-collapse.collapse.trap-list{
		display: none !important;
	}
}
.navbar-toggle{
	z-index: 860;
}

.navbar-inverse .navbar-nav > li > a {
  color: #CCC;
}

.trap-link{
	font-weight: bold;
}

@media (max-width: 768px) {
  .main{
  	 margin-top: 20px;
  }
}

#overview .illustration {
	margin-top: 20px;
	margin-left: -40px;
	margin-right: 20px;
	margin-bottom: 20px;
}

#compile-errors{
	color: #B00;
}

#title-discussion {
	cursor: pointer;
}

a.playground {
  padding-left: 18px;
  padding-right: 3px;
  background-image: url(/static/default/img/playground_mini.png);
  background-repeat: no-repeat;
  background-position: left;
  border: 1px #DDD solid;
}

#see-also li.sep{
	margin-top: 30px;
}

.footer {
	margin-top: 60px;
	padding-top: 5px;
	padding-left: 5px;
	background-color: #f5f5f5;
}
{'fraction_non_alphanumeric': 0.15252784918594686, 'fraction_numerical': 0.03884604398743216, 'mean_word_length': 2.64033264033264, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 5, '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': '2355672', 'n_tokens_mistral': 1526, 'n_tokens_neox': 1387, 'n_words': 280}