<commit_before>body {
	max-width: 1000px;
	margin: 0px auto;

	background-color: #eee;

	font-family: 'Josefin Sans';
}

/* Page header */
header {
	position: fixed;
	top: 0px;
	padding: 10px;

	background-color: white;
	box-shadow: 0px 4px 4px rgba(0,0,0, 0.2);
}

header h1 {
	text-align: center;
}

header h1:before,
header h1:after {
	content: '――――――――';
	margin: 0px 4px;
	color: #ad213a;
}

nav {
	text-align: center;
}

nav > a {
	display: block;
	margin: 5px;
	margin-top: 0px;
	padding: 10px;

	color: white;
	background-color: #ad213a;

	text-align: center;
}

nav > a:hover {
	background-color: #ba485c;
}

@media screen and (min-width:750px) and (max-width: 999px) {
	nav {
		/* fix whitespace between nav > a elements */
		letter-spacing: -0.31em; /* webkit */
		*letter-spacing: normal; /* reset IE < 8 */
		word-spacing: -0.43em; /* IE < 8 && gecko */
	}

	nav > a {
		display: inline-block;
		width: 220px;
		
		/* fix whitespace between nav > a elements */
		zoom: 1; *display: inline; /* IE < 8: fake inline-block */
		letter-spacing: normal;
		word-spacing: normal;
		vertical-align: top;
	}
}

@media screen and (min-width: 1000px) {
	header {
		width: 1000px;
		box-sizing: border-box;
	}

	nav > a {
		display: inline-block;
		width: 130px;
		margin: 0px;
		margin-right: 5px;
	}

	nav > a:last-child {
		margin-right: 0px;
	}<commit_msg>Made page header more responsive<commit_after>body {
	max-width: 1000px;
	margin: 0px auto;

	background-color: #eee;

	font-family: 'Josefin Sans';
}

/* Page header */
header {
	position: fixed;
	top: 0px;
	width: 100%;
	box-sizing: border-box;
	padding: 10px;

	background-color: white;
	box-shadow: 0px 4px 4px rgba(0,0,0, 0.2);
}

header h1 {
	text-align: center;
	white-space: pre;
}

header h1:before,
header h1:after {
	content: '――――――――';
	margin: 0px 4px;
	color: #ad213a;
}

nav {
	text-align: center;
}

nav > a {
	display: block;
	margin: 5px;
	margin-top: 0px;
	padding: 10px;

	color: white;
	background-color: #ad213a;

	text-align: center;
}

nav > a:hover {
	background-color: #ba485c;
}

@media screen and (min-width:750px) and (max-width: 999px) {
	header h1 {
		white-space: normal;
	}

	nav {
		/* fix whitespace between nav > a elements */
		letter-spacing: -0.31em; /* webkit */
		*letter-spacing: normal; /* reset IE < 8 */
		word-spacing: -0.43em; /* IE < 8 && gecko */
	}

	nav > a {
		display: inline-block;
		width: 220px;
		
		/* fix whitespace between nav > a elements */
		zoom: 1; *display: inline; /* IE < 8: fake inline-block */
		letter-spacing: normal;
		word-spacing: normal;
		vertical-align: top;
	}
}

@media screen and (min-width: 1000px) {
	header {
		width: 1000px;
	}
	
	header h1 {
		white-space: normal;
	}

	nav > a {
		display: inline-block;
		width: 130px;
		margin: 0px;
		margin-right: 5px;
	}

	nav > a:last-child {
		margin-right: 0px;
	}
{'fraction_non_alphanumeric': 0.16047652417659425, 'fraction_numerical': 0.048703573931324455, 'mean_word_length': 3.1257225433526012, 'pattern_counts': {'":': 0, '<': 9, '<?xml version=': 0, '>': 17, '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': '4359884', 'n_tokens_mistral': 1352, 'n_tokens_neox': 1159, 'n_words': 302}