<commit_before>html {
	height: 100%;
}

body {
	font-family: sans-serif;
	font-size: 11px;
	margin: 0px;
	height: 100%;
}

#all {
	height: 100%;
	overflow: auto;
}

/* header with search */

#header {
	position: fixed;
	margin: 0px;
	width: 100%;
	height: 2.6em;
	box-sizing: border-box;
	line-height: 2.45em;
	text-align: left;
	background: rgb(224,224,224);
	border-bottom: 1px rgb(160,160,160) solid;
	padding-left: 0ex;
}

.headerButton {
	margin-top: 0.6em;
	margin-left: 0.4em;
	width: 1.52em;
	height: 1.52em;
}

#searchSpan {
	position: absolute;
	top: 0;
	right: 1em;
	overflow: none;
}

#search {
	vertical-align: top;
	border: solid 1px #888;
	margin-top: 0.53em;
	height: 1.55em
}

#search input:focus {
	outline: none;
}

/* content */

#container {
	position: fixed;
	display: flex;
	top: 2.6em;
	bottom: 0;
	left: 0;
	right: 0;
	margin: 0px;
}

#navigationContainer {
	margin: 0px;
	color: black;
	border-right: 1px rgb(160,160,160) solid;
}

#navigationHeader {
	position: relative;
	height: 1.8em;
	box-sizing: border-box;
	line-height: 1.9em;
	padding-left: 1em;
	width: 100%;
	background: rgb(240,240,240);
	border-bottom: 1px rgb(160,160,160) solid;
}

#navigation {
	position: relative;
	width: calc(15em - 1px);
	max-height: calc(100% - 1.8em);
	bottom: 0;
	overflow: auto;
	background: white;
}


ul {
	padding: 1ex 0ex 1ex 1ex;
}

li {
	list-style: none;
	padding-top: 0.2em;
	padding-bottom: 0.2em;
}

.action {
	color: blue;
	color: -moz-hyperlinktext;
	cursor: pointer;
	text-decoration: none;
}

.action:hover {
	text-decoration: underline;
}

.action[disabled] {
	cursor: default;
	text-decoration: none;
	color: gray;
}

.button {
	stroke: #555;
	fill: #555;
	display: inline-block;
	margin-left: 1em;
}

.button:hover {
	stroke: #000;
	fill: #000;
}

/* pages */

#pageContainer {
	flex-grow: 10;
	margin: 0px;
	overflow: auto;
	background: white;
}

.page {
	position: relative;
	border-bottom: 1px rgb(160,160,160) solid;
	min-height: 10em;
	width: 100%;
}

.page:only-child {
	border-bottom: none;
	top: 0em;
	right: 0em;
	height: 100%;
}

.pageHeader {
	position: relative;
	height: 1.8em;
	box-sizing: border-box;
	line-height: 1.9em;
	padding-left: 1em;
	background: rgb(240,240,240);
	border-bottom: 1px rgb(160,160,160) solid;
}

.pageContentAndActions {
	position: relative;
	min-height: calc(10em - 1.8em)
}

.page:only-child > .pageContentAndActions {
	position: absolute;
	top: 1.8em;
	left: 0em;
	right: 0em;
	height: calc(100% - 1.8em)
}

.pageButton {
	width: 1.1em;
	height: 1.1em;
}

.pageContent {
	width: 100%;
	height: 100%;
	box-sizing: border-box;
	padding-left: 1em;
	padding-top: 0.5ex;
	overflow: auto;
}

.pageContent iframe {
	padding: 0em;<commit_msg>mj.css: fixes<commit_after>html {
	height: 100%;
}

body {
	font-family: sans-serif;
	font-size: 11px;
	margin: 0px;
	height: 100%;
}

#all {
	height: 100%;
	overflow: auto;
}

/* header with search */

#header {
	position: fixed;
	margin: 0px;
	width: 100%;
	height: 2.6em;
	box-sizing: border-box;
	line-height: 2.45em;
	text-align: left;
	background: rgb(224,224,224);
	border-bottom: 1px rgb(160,160,160) solid;
	padding-left: 0ex;
}

.headerButton {
	margin-top: 0.6em;
	margin-left: 0.4em;
	width: 1.52em;
	height: 1.52em;
}

#searchSpan {
	position: absolute;
	top: 0;
	right: 1em;
	overflow: none;
}

#search {
	vertical-align: top;
	border: solid 1px #888;
	margin-top: 0.53em;
	height: 1.55em
}

#search input:focus {
	outline: none;
}

/* content */

#container {
	position: fixed;
	display: flex;
	top: 2.6em;
	bottom: 0;
	left: 0;
	right: 0;
	margin: 0px;
}

#navigationContainer {
	margin: 0px;
	color: black;
	border-right: 1px rgb(160,160,160) solid;
}

#navigationHeader {
	position: relative;
	height: 1.8em;
	box-sizing: border-box;
	line-height: 1.9em;
	padding-left: 1em;
	width: 100%;
	background: rgb(240,240,240);
	border-bottom: 1px rgb(160,160,160) solid;
}

#navigation {
	position: relative;
	width: calc(15em - 1px);
	max-height: calc(100% - 1.8em);
	bottom: 0;
	overflow: auto;
}


ul {
	padding: 1ex 0ex 1ex 1ex;
}

li {
	list-style: none;
	padding-top: 0.2em;
	padding-bottom: 0.2em;
}

.action {
	color: blue;
	color: -moz-hyperlinktext;
	cursor: pointer;
	text-decoration: none;
}

.action:hover {
	text-decoration: underline;
}

.action[disabled] {
	cursor: default;
	text-decoration: none;
	color: gray;
}

.button {
	stroke: #555;
	fill: #555;
	display: inline-block;
	margin-left: 1em;
}

.button:hover {
	stroke: #000;
	fill: #000;
}

/* pages */

#pageContainer {
	flex-grow: 10;
	margin: 0px;
	overflow: auto;
	background: white;
}

.page {
	position: relative;
	border-bottom: 1px rgb(160,160,160) solid;
	min-height: 10em;
	width: 100%;
}

.page:only-child {
	border-bottom: none;
	top: 0em;
	right: 0em;
	height: 100%;
}

.pageHeader {
	position: relative;
	height: 1.8em;
	box-sizing: border-box;
	line-height: 1.9em;
	padding-left: 1em;
	background: rgb(240,240,240);
	border-bottom: 1px rgb(160,160,160) solid;
}

.pageContentAndActions {
	position: relative;
	min-height: 12em;
}

.page:only-child > .pageContentAndActions {
	position: absolute;
	top: 1.8em;
	left: 0em;
	right: 0em;
	height: calc(100% - 1.8em)
}

.pageButton {
	width: 1.1em;
	height: 1.1em;
}

.pageContent {
	width: 100%;
	box-sizing: border-box;
	padding-left: 1em;
	padding-top: 0.5ex;
	overflow: auto;
}

.page:only-child > .pageContent {
	height: 100%;
}
	
.pageContent iframe {
	padding: 0em;
{'fraction_non_alphanumeric': 0.16368663594470045, 'fraction_numerical': 0.07741935483870968, 'mean_word_length': 3.7764084507042255, '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': '200614', 'n_tokens_mistral': 2700, 'n_tokens_neox': 2355, 'n_words': 537}