<commit_before>@import 'include-media';

$breakpoints: (tablet: 768px, desktop: 1200px, huge: 2000px);
$mobile: 'screen', '<tablet';
$tablet: 'screen', '>=tablet', '<desktop';
$desktop: 'screen', '>=desktop';
$huge: 'screen', '>=huge';

$notmobile: 'screen', '>=tablet';

$hamburger-linewidth: 0.2rem;
$hamburger-animation-duration: .2s;

html {
	color: #333;

	// browser font size is normally 16px, x1.125 = 18px. 1.55 line height
	// https://www.smashingmagazine.com/2015/11/using-system-ui-fonts-practical-guide/
	font: 1.125rem/1.55 -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Oxygen, Ubuntu, Cantarell, "Fira Sans", "Droid Sans", "Helvetica Neue", sans-serif;

	// a saner font-size for printing, otherwise it looks huuuuuge
	@include media('print') { font-size: 12pt }
}

a {
	color: #4183c4;
	text-decoration: none;

	// make links stand out in print, and suffix the URL since they're
	// obviously not clickable anymore.
	@include media('print') {
		color: #06c;

		/* temporarily removed. think it makes CV look neater.
		&[href^="http"]:after {
			font-size: smaller;
			font-style: italic;
			content: ' <' attr(href) '>';
		}
		 */
	}

	// red line-through on dead links, but not on printouts
	@include media('screen') {
		&[data-page-exists=false] {
			color: #a00;
			text-decoration: line-through;

			&:hover { color: #700 }
		}
	}

	&:hover { color: #1e70bf }
}

.container {
	margin: 0 auto;

	@include media($mobile...) { margin: 0 1rem }
	@include media($tablet...) { width: 723px }
	@include media($desktop...) { width: 1127px }
	@include media($huge...) { &.editing { width: auto } }
}

.site-menu { // header
	margin-bottom: 1rem;
	//background: #446e9b linear-gradient(#6d94bf, #446e9b 50%, #3e648d) no-repeat;
	background: #4b77be;

	@include media('print') { display: none; }

	.container {
		display: flex;
		align-items: center;
		flex-wrap: wrap;

		@include media($mobile...) {
			// expand menu links to the edges on mobile
			margin: 0;<commit_msg>new header background colour<commit_after>@import 'include-media';

$breakpoints: (tablet: 768px, desktop: 1200px, huge: 2000px);
$mobile: 'screen', '<tablet';
$tablet: 'screen', '>=tablet', '<desktop';
$desktop: 'screen', '>=desktop';
$huge: 'screen', '>=huge';

$notmobile: 'screen', '>=tablet';

$hamburger-linewidth: 0.2rem;
$hamburger-animation-duration: .2s;

html {
	color: #333;

	// browser font size is normally 16px, x1.125 = 18px. 1.55 line height
	// https://www.smashingmagazine.com/2015/11/using-system-ui-fonts-practical-guide/
	font: 1.125rem/1.55 -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Oxygen, Ubuntu, Cantarell, "Fira Sans", "Droid Sans", "Helvetica Neue", sans-serif;

	// a saner font-size for printing, otherwise it looks huuuuuge
	@include media('print') { font-size: 12pt }
}

a {
	color: #4183c4;
	text-decoration: none;

	// make links stand out in print, and suffix the URL since they're
	// obviously not clickable anymore.
	@include media('print') {
		color: #06c;

		/* temporarily removed. think it makes CV look neater.
		&[href^="http"]:after {
			font-size: smaller;
			font-style: italic;
			content: ' <' attr(href) '>';
		}
		 */
	}

	// red line-through on dead links, but not on printouts
	@include media('screen') {
		&[data-page-exists=false] {
			color: #a00;
			text-decoration: line-through;

			&:hover { color: #700 }
		}
	}

	&:hover { color: #1e70bf }
}

.container {
	margin: 0 auto;

	@include media($mobile...) { margin: 0 1rem }
	@include media($tablet...) { width: 723px }
	@include media($desktop...) { width: 1127px }
	@include media($huge...) { &.editing { width: auto } }
}

.site-menu { // header
	margin-bottom: 1rem;
	//background: #446e9b linear-gradient(#6d94bf, #446e9b 50%, #3e648d) no-repeat;
	background: #446e9b;

	@include media('print') { display: none; }

	.container {
		display: flex;
		align-items: center;
		flex-wrap: wrap;

		@include media($mobile...) {
			// expand menu links to the edges on mobile
			margin: 0;
{'fraction_non_alphanumeric': 0.17504376094023505, 'fraction_numerical': 0.04526131532883221, 'mean_word_length': 3.7505938242280283, 'pattern_counts': {'":': 0, '<': 9, '<?xml version=': 0, '>': 13, 'https://': 2, 'lorem ipsum': 0, 'www.': 2, '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': '2190216', 'n_tokens_mistral': 1685, 'n_tokens_neox': 1450, 'n_words': 390}