<commit_before>// Scaffolding
// -----------------------------------------------------
body {
	font-weight: 400;
}

::-moz-selection {
	color: #fff;
}

::selection {
	color: #fff;
}

// Buttons
.btn {
	@include button-size(($padding-base-vertical * 1.2), ($padding-base-horizontal * 3.5), $font-size-base, $line-height-base, ($btn-border-radius-base * 50));
}

// Navbar
// -----------------------------------------------------
.navbar-brand {
	font-size: $font-size-large;
}

.navbar-text {
	padding-top: 10px;
}



// Jumbotron
// -----------------------------------------------------
.jumbotron {
	padding-top: ($jumbotron-padding * 1.7);
	padding-bottom: $jumbotron-padding;
	margin-bottom: 0;
	background-attachment: fixed;
	//@include image-2x('../img/jumbotron_pattern2x.png', 56px,31px);
	h1 {
		margin-bottom: ($line-height-computed * 1.8);
	}
	.btn-outline-inverse {
		border: 2px solid #fff;
		color: #fff;
		&:hover,
		&:focus {
			background: #fff;
		}
	}
	@media screen and (min-width: $screen-sm-min) {
		padding-top: ($jumbotron-padding * 2);
		padding-bottom: ($jumbotron-padding * 1.15);
	}
}

// Code
// -----------------------------------------------------
pre {
	padding: 0;
	font-size: ($font-size-base - 2);
	background: rgba($pre-bg, 0.6);
	border-radius: ($border-radius-base / 2);
	margin-top: 20px;
	@media screen and (min-width: $screen-md-min) {
		margin-top: 0;
	}
	code {
		font-size: inherit;
		color: inherit;
		white-space: pre-wrap;
		background-color: transparent;
		border-radius: 0;
	}
	.hljs {
		padding: $line-height-computed;
		background: none;
	}
}

// Tooltip
// -----------------------------------------------------
.tooltip {
	font-size: 12px;
}

.tooltip-inner {
	padding: 6px 15px;
}<commit_msg>Fix #76: Improve table style<commit_after>// Scaffolding
// -----------------------------------------------------
body {
	font-weight: 400;
}

::-moz-selection {
	color: #fff;
}

::selection {
	color: #fff;
}

// Buttons
.btn {
	@include button-size(($padding-base-vertical * 1.2), ($padding-base-horizontal * 3.5), $font-size-base, $line-height-base, ($btn-border-radius-base * 50));
}

// Navbar
// -----------------------------------------------------
.navbar-brand {
	font-size: $font-size-large;
}

.navbar-text {
	padding-top: 10px;
}



// Jumbotron
// -----------------------------------------------------
.jumbotron {
	padding-top: ($jumbotron-padding * 1.7);
	padding-bottom: $jumbotron-padding;
	margin-bottom: 0;
	background-attachment: fixed;
	//@include image-2x('../img/jumbotron_pattern2x.png', 56px,31px);
	h1 {
		margin-bottom: ($line-height-computed * 1.8);
	}
	.btn-outline-inverse {
		border: 2px solid #fff;
		color: #fff;
		&:hover,
		&:focus {
			background: #fff;
		}
	}
	@media screen and (min-width: $screen-sm-min) {
		padding-top: ($jumbotron-padding * 2);
		padding-bottom: ($jumbotron-padding * 1.15);
	}
}

// Code
// -----------------------------------------------------
pre {
	padding: 0;
	font-size: ($font-size-base - 2);
	background: rgba($pre-bg, 0.6);
	border-radius: ($border-radius-base / 2);
	margin-top: 20px;
	@media screen and (min-width: $screen-md-min) {
		margin-top: 0;
	}
	code {
		font-size: inherit;
		color: inherit;
		white-space: pre-wrap;
		background-color: transparent;
		border-radius: 0;
	}
	.hljs {
		padding: $line-height-computed;
		background: none;
	}
}

// Tooltip
// -----------------------------------------------------
.tooltip {
	font-size: 12px;
}

.tooltip-inner {
	padding: 6px 15px;
}

// Tables -- Inspired by GitHub style
// ------------------------------------------------------
table th, table td {
    padding: 6px 13px;
    border: 1px solid #ddd;
}

{'fraction_non_alphanumeric': 0.3190852164443234, 'fraction_numerical': 0.024503130955622107, 'mean_word_length': 1.752059925093633, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, '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': '4817152', 'n_tokens_mistral': 1410, 'n_tokens_neox': 1284, 'n_words': 250}