<commit_before>--- 
--- 

@import url('https://fonts.googleapis.com/css?family=Roboto');

html,body {
	margin: 0px;
	padding: 0px;
	height: 100%;
	width: 100%;
	background-color: #454d6a;
	color: white;
	font-family: 'Roboto', sans-serif;
}

/***********
** Navbar **
***********/

nav {
	display: flex;
	flex-direction: column;
	float: left;
	background-color: #3a3e4b;
	height: 100%;
	width: 100px;
	position: fixed;
	bottom: 0;
	z-index: 999;
	
	img {
		width: 90%;
		height: 90%;
		margin: 5%;
	}

	a img {
		width: 60%;
		height: 60%;
	}

	.navSquare{
		position: relative;
		display: block;
		width: 100px;
		height: 100px;
		border-bottom: 1px solid #99AAB5;
		text-align: center;

		a {
			text-decoration: none;
			color: white;
			margin: 0px;
		}
		
		.monkeySpin {
			animation-name: spin;
			animation-duration: 1000ms;
			animation-iteration-count: infinite;
		}
		
		@keyframes spin {
			from {
				transform:rotate(0deg);
			}
			
			to {
				transform:rotate(360deg);
			}
		}
		
	}

	.navSquare:hover {
		background-color: #4d515d;
	}

	.noHover:hover {
		background-color: #3a3e4b;
	}

	.selected {
		background-color: #317ed4 !important;
	}
}


/**************
** Main view **
**************/
.container {
	display: flex;
	flex-direction: column;
	float: right;
	padding: 4%;
	width: 85%;
	margin-left: 100px;
	position: relative;

	.row {
		width: 100%;
		display: flex;
		flex-direction: row;
		justify-content: space-between;
	}

	.col {
		display: flex;
		flex-direction: column;
		justify-content: space-between;
	}
}

a {
	text-decoration: none;
	color: white;
	margin: 0px;
}

p, h4 {
	a {
		text-decoration: underline;
	}
}

.box {
	position: relative;
	width: 100%;
	padding: 20px;
	margin: 10px;
	background-color: rgb(82, 91, 122);
	
	// Thanks to Chris from CSS Tricks for this: https://css-tricks.com/notched-boxes/
	--notchSize: 40px; 
	clip-path: 
		polygon(
			0% var(--notchSize), 
			var(--notchSize) 0%, 
			0px 0%, 
			100% 0px, 
			100% calc(100% - var(--notchSize)), 
			calc(100% - var(--notchSize)) 100%, 
			0px 100%, 
			0% 0px
		);
	
	p {
		padding-left: 10px;
	}
}

code {
	font-family: Consolas;
	background-color: #404040;
	padding: 1px;
	padding-left: 5px;
	padding-right: 5px;
}

.skills {
	margin-top: 0;
	margin-bottom: 0;
	padding-left: 10px;
	list-style-type: none;
	min-width: 150px;

	li{
		margin-top: 5px;
		width: 50%;
		float:left;
	}

	li:nth-child(even){
		width: 50%;
		float: right;<commit_msg>Fix CSS for mobile<commit_after>--- 
--- 

@import url('https://fonts.googleapis.com/css?family=Roboto');

html,body {
	margin: 0px;
	padding: 0px;
	height: 100%;
	width: 100%;
	background-color: #454d6a;
	color: white;
	font-family: 'Roboto', sans-serif;
}

/***********
** Navbar **
***********/

nav {
	display: flex;
	flex-direction: column;
	float: left;
	background-color: #3a3e4b;
	height: 100%;
	width: 100px;
	position: fixed;
	bottom: 0;
	z-index: 999;
	
	img {
		width: 90%;
		height: 90%;
		margin: 5%;
	}

	a img {
		width: 60%;
		height: 60%;
	}

	.navSquare{
		position: relative;
		display: block;
		width: 100px;
		height: 100px;
		border-bottom: 1px solid #99AAB5;
		text-align: center;

		a {
			text-decoration: none;
			color: white;
			margin: 0px;
		}
		
		.monkeySpin {
			animation-name: spin;
			animation-duration: 1000ms;
			animation-iteration-count: infinite;
		}
		
		@keyframes spin {
			from {
				transform:rotate(0deg);
			}
			
			to {
				transform:rotate(360deg);
			}
		}
		
	}

	.navSquare:hover {
		background-color: #4d515d;
	}

	.noHover:hover {
		background-color: #3a3e4b;
	}

	.selected {
		background-color: #317ed4 !important;
	}
}


/**************
** Main view **
**************/
.container {
	display: flex;
	flex-direction: column;
	float: right;
	padding: 4%;
	width: 85%;
	margin-left: 100px;
	position: relative;

	.row {
		width: 100%;
		display: flex;
		flex-direction: row;
		justify-content: space-between;
	}

	.col {
		display: flex;
		flex-direction: column;
		justify-content: space-between;
	}
}

a {
	text-decoration: none;
	color: white;
	margin: 0px;
}

p, h4 {
	a {
		text-decoration: underline;
	}
}

.box {
	position: relative;
	width: 100%;
	padding: 20px;
	margin: 10px;
	background-color: rgb(82, 91, 122);
	
	// Thanks to Chris from CSS Tricks for this: https://css-tricks.com/notched-boxes/
	--notchSize: 40px; 
	clip-path: 
		polygon(
			0% var(--notchSize), 
			var(--notchSize) 0%, 
			0px 0%, 
			100% 0px, 
			100% calc(100% - var(--notchSize)), 
			calc(100% - var(--notchSize)) 100%, 
			0px 100%, 
			0% 0px
		);
	
	p {
		padding-left: 10px;
	}
}

code {
	font-family: Consolas;
	background-color: #404040;
	padding: 1px;
	padding-left: 5px;
	padding-right: 5px;
}

.skills {
	margin-top: 0;
	margin-bottom: 0;
	padding-left: 10px;
	list-style-type: none;
	min-width: 150px;

	li:nth-child(odd){
		margin-top: 5px;
		width: 60%;
		float: left;
	}

	li:nth-child(even){
		width: 40%;
		float: right;
{'fraction_non_alphanumeric': 0.17769682250556568, 'fraction_numerical': 0.05666869054847197, 'mean_word_length': 2.9790660225442833, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 4, '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': '2316309', 'n_tokens_mistral': 2491, 'n_tokens_neox': 2037, 'n_words': 447}