<commit_before>body {
	word-wrap: break-word;
	-ms-word-wrap: break-word;
	&.top-navbar {
		&.admin-bar {
			padding-top: 53px;
			.topnavbar {
				&.navbar-fixed-top {
					padding-top: 32px;
				}
			}
		}
	}
	.navbar.navbar-static-top {
		margin-bottom: 0;
	}
	&.bottom-navbar {
		padding-bottom: @navbar-height;
	}
}

// responsive hacks for the navbar
@media screen and (min-width: @screen-sm) {
	body {
		&.top-navbar {
			padding-top: @navbar-height;
		}
		&.bottom-navbar {
			padding-bottom: @navbar-height;
		}
	}
}

// Styling the (+) button on the navbar
a.toggle-nav {
	opacity:0.6;
	-webkit-transition:all 500ms ease-in-out;
	-moz-transition:all 500ms ease-in-out;
	-o-transition:all 500ms ease-in-out;
	-ms-transition:all 500ms ease-in-out;
	border-radius: 50%;

	color: @navbar-default-link-color;

	&.nav-toggle {
		color: @navbar-default-link-color;
		position: relative;
		float: left;
	}

	&.static-left {
		z-index:1;
		text-decoration: none;
		text-align: center;
		display:block;
		width: 30px;
		height: 30px;
		font-size: 20px;
		background: transparent;
		color: @brand-info;
		width: 100%;
		border-radius: 0px;
	}

	&.open {
		opacity:1;
		transform: rotate(540deg);
		-ms-transform: rotate(540deg);
		-webkit-transform: rotate(540deg);
	}
}

// Megadrop styles
#megaDrop {
	display: none;
	padding: 20px 10px;
}

.navbar {
	a.toggle-nav {
		margin-top: (((@navbar-height - (2 * @line-height-computed)) / 2) - 3);
	}
	#searchform {
		// margin-top: (((@navbar-height - (2 * @line-height-computed)) / 2));
		border: 0;
		padding-left: 0;
		padding-right: 0;
	}
	.dropdown-menu {
		padding: 0;
		background: @navbar-default-bg;
		li.active a,
		li:hover a{
			background: @navbar-default-link-active-bg;
			color: @navbar-default-link-active-color;
		}
	}

	&.style1 {
		li:first-child > a {
			//padding-bottom: (((@navbar-height - @line-height-computed) / 2) - 3);
		}

		.open > a,
		.open > a:hover,
		.open > a:focus,
		a:hover,<commit_msg>bugfix for navbar searchform & dropdown-toggler position<commit_after>body {
	word-wrap: break-word;
	-ms-word-wrap: break-word;
	&.top-navbar {
		&.admin-bar {
			padding-top: 53px;
			.topnavbar {
				&.navbar-fixed-top {
					padding-top: 32px;
				}
			}
		}
	}
	.navbar.navbar-static-top {
		margin-bottom: 0;
	}
	&.bottom-navbar {
		padding-bottom: @navbar-height;
	}
}

// responsive hacks for the navbar
@media screen and (min-width: @screen-sm) {
	body {
		&.top-navbar {
			padding-top: @navbar-height;
		}
		&.bottom-navbar {
			padding-bottom: @navbar-height;
		}
	}
}

// Styling the (+) button on the navbar
a.toggle-nav {
	opacity:0.6;
	-webkit-transition:all 500ms ease-in-out;
	-moz-transition:all 500ms ease-in-out;
	-o-transition:all 500ms ease-in-out;
	-ms-transition:all 500ms ease-in-out;
	border-radius: 50%;

	color: @navbar-default-link-color;

	&.nav-toggle {
		color: @navbar-default-link-color;
		position: relative;
		float: left;
	}

	&.static-left {
		z-index:1;
		text-decoration: none;
		text-align: center;
		display:block;
		width: 30px;
		height: 30px;
		font-size: 20px;
		background: transparent;
		color: @brand-info;
		width: 100%;
		border-radius: 0px;
	}

	&.open {
		opacity:1;
		transform: rotate(540deg);
		-ms-transform: rotate(540deg);
		-webkit-transform: rotate(540deg);
	}
}

// Megadrop styles
#megaDrop {
	display: none;
	padding: 20px 10px;
}

.navbar {
	#searchform {
		border: 0;
	}
	.dropdown-menu {
		padding: 0;
		background: @navbar-default-bg;
		li.active a,
		li:hover a{
			background: @navbar-default-link-active-bg;
			color: @navbar-default-link-active-color;
		}
	}

	&.style1 {
		.open > a,
		.open > a:hover,
		.open > a:focus,
		a:hover,
{'fraction_non_alphanumeric': 0.16888768017405495, 'fraction_numerical': 0.029099809627413653, 'mean_word_length': 2.9463519313304722, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 10, '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': '6259025', 'n_tokens_mistral': 1769, 'n_tokens_neox': 1482, 'n_words': 285}