<commit_before>html, body, svg {
	padding:0;
	margin:0;
}

#menu {
	font-family: "sans";
	font-size:.7vw;
	border-radius:0;
	box-shadow: 0px 0px 9px black;
	overflow:hidden;
	position:fixed;
	left:0;
	top:0;
	color:black;
	background-color:rgba(0,100,255,0.9);
	width:10vw;
	height:100%;
	transition-duration:1s;
	cursor:default;
}

#menu.closed {
	border-radius:3px;
	left:10px;
	top:10px;
	background-color:rgba(100,200,255,0.7);
	width:6vw;
	height:2em;
	transition-duration:1s;
}

#menu.closed h2{ /*Menu title ("Menu")*/
	text-align:center;
	font-size: .9vw;
}

#menu h2{ /*Menu title ("Menu")*/
	font-size:4vh;
	text-align: center;
	letter-spacing:.5vw;
	text-shadow: 0px 0px 5px white;
	color:black;
	padding:0;
	margin:0;
}

#menu h3 { /*Section titles ("tools", "configuration")*/
	font-size:1vw;
}

#menu ul {
	list-style-type:none;
	padding:0;
}

#menu li {
	text-overflow: ellipsis;
	white-space: nowrap;
	list-style-position:inside;
	color:#335;
	border:0;
	text-decoration:none;
	width:100%;
	transition-duration:0.5s;
	cursor:pointer;
}

#menu li:hover {
	color:black;
	transition-duration:0.5s;
}

#menu li.curTool {
	box-shadow: 0 0 2px white;
	background-color:rgba(0,100,255,1);
	text-shadow: 0px 0px 3px white;
	transition-duration:0.5s;
}

#menu .tool-icon {
	text-align:center;
	font-size:2.5vh;
	padding:.1vw;
	width:1.5vw;
	display: inline-block;
}
#menu .tool-name {
	margin-left: .5vw;
	font-size:2.5vh;
}

@media (max-width: 600px) {
    #menu {
        font-size:1vw;
    }
    #menu .tool-name {
        display: none;
    }
    #menu .tool-icon {
    	width:100%;
		font-size:5vw;
		padding:0;
    }
    #menu h2 {<commit_msg>CSS: make the tools panel more readable<commit_after>html, body, svg {
	padding:0;
	margin:0;
}

#menu {
	font-family: "sans";
	font-size:.7vw;
	border-radius:0;
	box-shadow: 0px 0px 9px black;
	overflow:hidden;
	position:fixed;
	left:0;
	top:0;
	color:black;
	background-color:rgba(87, 154, 255, 0.9);
	width:10vw;
	height:100%;
	transition-duration:1s;
	cursor:default;
}

#menu.closed {
	border-radius:3px;
	left:10px;
	top:10px;
	background-color:rgba(100,200,255,0.7);
	width:6vw;
	height:2em;
	transition-duration:1s;
}

#menu.closed h2{ /*Menu title ("Menu")*/
	text-align:center;
	font-size: .9vw;
}

#menu h2{ /*Menu title ("Menu")*/
	font-size:4vh;
	text-align: center;
	letter-spacing:.5vw;
	text-shadow: 0px 0px 5px white;
	color:black;
	padding:0;
	margin:0;
}

#menu h3 { /*Section titles ("tools", "configuration")*/
	font-size:1vw;
}

#menu ul {
	list-style-type:none;
	padding:0;
}

#menu li {
	text-overflow: ellipsis;
	white-space: nowrap;
	list-style-position:inside;
	color:#335;
	border:0;
	text-decoration:none;
	width:100%;
	transition-duration:0.5s;
	cursor:pointer;
}

#menu li:hover {
	color:black;
	transition-duration:0.5s;
}

#menu li.curTool {
	box-shadow: 0 0 2px white;
	background-color:rgb(255, 66, 66);
	text-shadow: 0px 0px 3px white;
	transition-duration:0.5s;
	color: black;
}

#menu .tool-icon {
	text-align:center;
	font-size:2.5vh;
	padding:.1vw;
	width:1.5vw;
	display: inline-block;
}
#menu .tool-name {
	margin-left: .5vw;
	font-size:2.5vh;
}

@media (max-width: 600px) {
    #menu {
        font-size:1vw;
    }
    #menu .tool-name {
        display: none;
    }
    #menu .tool-icon {
    	width:100%;
		font-size:5vw;
		padding:0;
    }
    #menu h2 {
{'fraction_non_alphanumeric': 0.1734207389749702, 'fraction_numerical': 0.06019070321811681, 'mean_word_length': 3.748231966053748, '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': '5681680', 'n_tokens_mistral': 1616, 'n_tokens_neox': 1504, 'n_words': 271}