<commit_before>div.header {
	width: 100%;

	position: relative;
	
	height: $header-height;

	box-shadow: 0 2*$px 4*$px $header-shadow-color;

	border-bottom: $px solid $header-border-color;
	
	gradient($header-gradient);

	h1 {
		width: 100%;	
		margin: 0;
		padding: 0;
	
		position: absolute;
		top: 0;
		left: 0;
		z-index: 1;
	    
		color: $header-text-color;
		font-weight: bold;
		font-size: 1.25em;
		line-height: 2.25em;
		text-align: center;
		text-shadow: 0 -0.1em 0 $header-text-shadow-color;
	
		text-overflow: ellipsis;
	}

	> div {
		/* Center the buttons vertically */
		box-horizontal();
		box-center();
		border-box();
		
		height: $header-height + 0.1;
		padding: 0 0.25em 0 0.25em;
		
		position: absolute;
		top: 0;
		z-index: 2;	
	
		/* The first div should be shoved to the left */
		&:first-child {
			text-align: left;
			left: 0;
		}

		/* The last div should be shoved to the right */
		&:last-child {
			text-align: right;
			right: 0;
		}

		/* Header buttons have a different look */
        a.button,
		button {
			border-box();
			height: 2.1em;
			
		    padding: 0.5em 0.75em;
			margin: -0.1em 0.25em 0 0.25em;
		
		    border: none;
	        border-radius: 0.5em;
	
        	box-shadow: inset 0 0.1em 0.1em rgba(0, 0, 0, 0.55),
        	            inset 0 -0.1em 0.05em rgba(0, 0, 0, 0.3),
        	            inset 0.1em 0 0.05em rgba(0, 0, 0, 0.2),
        	            inset -0.1em 0 0.05em rgba(0, 0, 0, 0.2),
        				0 0.1em 0.05em rgba(255, 255, 255, 0.35);
        				
			gradient($header-button-gradient);
			
			// i:first-child:last-child {
			// 	display: block;
			// 	width: 0.92em;
			// 	height: 1em;
			// 	margin: 0 -0.15em;<commit_msg>Changed header to work with Firefox<commit_after>div.header {
	width: 100%;

	position: relative;
	
	box-horizontal();
	box-center();
	border-box();
	
	height: $header-height;

	box-shadow: 0 2*$px 4*$px $header-shadow-color;

	border-bottom: $px solid $header-border-color;
	
	gradient($header-gradient);

	h1 {
		width: 100%;	
		margin: 0;
		padding: 0;
	
		position: absolute;
		top: 0;
		left: 0;
		z-index: 1;
	    
		color: $header-text-color;
		font-weight: bold;
		font-size: 1.25em;
		line-height: 2.25em;
		text-align: center;
		text-shadow: 0 -0.1em 0 $header-text-shadow-color;
	
		text-overflow: ellipsis;
	}

	> div {
		// Position above heading
		position: relative;
		z-index: 2;
		
		// Center the buttons vertically
		box-horizontal();
		box-align: center;
		box-flex: 1;
		
		border-box();
		
		height: $header-height + 0.1;
		padding: 0 0.25em 0 0.25em;
		
		&:first-child {
			// The content of the first div should be shoved to the left
			box-pack: start;
		}

		&:last-child {
			// The content of the last div should be shoved to the right
			box-pack: end;
		}

		/* Header buttons have a different look */
        a.button,
		button {
			position: relative; // so badges can be positioned
			
			vertical-align: top; // for consistency between back/other buttons
			
			border-box();
			height: 2.1em;
			
		    padding: 0.5em 0.75em;
			margin: -0.1em 0.25em 0 0.25em;
		
		    border: none;
	        border-radius: 0.5em;
	
        	box-shadow: inset 0 0.1em 0.1em rgba(0, 0, 0, 0.55),
        	            inset 0 -0.1em 0.05em rgba(0, 0, 0, 0.3),
        	            inset 0.1em 0 0.05em rgba(0, 0, 0, 0.2),
        	            inset -0.1em 0 0.05em rgba(0, 0, 0, 0.2),
        				0 0.1em 0.05em rgba(255, 255, 255, 0.35);
        				
			gradient($header-button-gradient);
			
			// i:first-child:last-child {
			// 	display: block;
			// 	width: 0.92em;
			// 	height: 1em;
			// 	margin: 0 -0.15em;
{'fraction_non_alphanumeric': 0.14651611126411457, 'fraction_numerical': 0.06940236849352796, 'mean_word_length': 2.0141078838174273, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 5, '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': '5064603', 'n_tokens_mistral': 1809, 'n_tokens_neox': 1384, 'n_words': 373}