<commit_before>/**
 * Scrollator jQuery Plugin
 * Scrollator is a jQuery-based replacement for the browsers scroll bar, which doesn't use any space.
 * version 1.0, July 3rd, 2014
 * by <NAME>
 */
#scrollator_holder {
	position: absolute;
	top: 0;
	left: 0;
	width: 0;
	height: 0;
}

.scrollator {
	overflow: hidden !important;
}

.scrollator_lane_holder {
	position: absolute;
	top: 0;
	right: 0;
	bottom: 0;
	-moz-box-sizing: border-box;
	box-sizing: border-box;
	width: 15px;
	background-color: transparent;
	opacity: 1;
	-webkit-transition: background 200ms, width 200ms, opacity 200ms;
	-moz-transition:    background 200ms, width 200ms, opacity 200ms;
	-ms-transition:     background 200ms, width 200ms, opacity 200ms;
	-o-transition:      background 200ms, width 200ms, opacity 200ms;
	transition:         background 200ms, width 200ms, opacity 200ms;
}
.scrollator_lane {
	position: absolute;
	top: 3px;
	right: 3px;
	bottom: 3px;
	left: 3px;
	-moz-box-sizing: border-box;
	box-sizing: border-box;
	-webkit-border-radius: 10px;
	-moz-border-radius: 10px;
	border-radius: 10px;
	background-color: rgba(0, 0, 0, 0);
	-webkit-transition: background 200ms, width 200ms, opacity 200ms;
	-moz-transition:    background 200ms, width 200ms, opacity 200ms;
	-ms-transition:     background 200ms, width 200ms, opacity 200ms;
	-o-transition:      background 200ms, width 200ms, opacity 200ms;
	transition:         background 200ms, width 200ms, opacity 200ms;
}

.scrollator_lane_holder.scrollator_on_body {
	position: fixed;
}

.scrollator_lane_holder.hover, 
.scrollator_lane_holder:hover {
	width: 21px;
}
.scrollator_lane_holder.hover > .scrollator_lane, 
.scrollator_lane_holder:hover > .scrollator_lane {
	background-color: rgba(0, 0, 0, 0.15);
}

.scrollator_handle_holder {
	position: absolute;
	-moz-box-sizing: border-box;
	box-sizing: border-box;
	width: 15px;
	margin: 0 -3px;
	background-color: transparent;
	-webkit-transition: width 200ms;
	-moz-transition:    width 200ms;
	-ms-transition:     width 200ms;
	-o-transition:      width 200ms;
	transition:         width 200ms;
}
.scrollator_handle {
	position: absolute;
	top: 0;
	right: 3px;
	bottom: 0;
	left: 3px;
	-moz-box-sizing: border-box;
	box-sizing: border-box;
	-webkit-border-radius: 10px;
	-moz-border-radius: 10px;
	border-radius: 10px;
	background-color: rgba(0, 0, 0, 0.4);
	-webkit-transition: width 200ms;
	-moz-transition:    width 200ms;
	-ms-transition:     width 200ms;
	-o-transition:      width 200ms;
	transition:         width 200ms;
}

.scrollator_lane_holder.hover .scrollator_handle_holder, 
.scrollator_lane_holder:hover .scrollator_handle_holder {
	width: 21px;
}<commit_msg>Cleaned up css a bit<commit_after>/**
 * Scrollator jQuery Plugin
 * Scrollator is a jQuery-based replacement for the browsers scroll bar, which doesn't use any space.
 * version 1.0, July 3rd, 2014
 * by <NAME>
 */
#scrollator_holder {
	position: absolute;
	top: 0;
	left: 0;
	width: 0;
	height: 0;
}

.scrollator {
	overflow: hidden !important;
}

.scrollator_lane_holder {
	position: absolute;
	top: 0;
	right: 0;
	bottom: 0;
	-moz-box-sizing: border-box;
	box-sizing: border-box;
	width: 15px;
	background-color: transparent;
	opacity: 1;
	-webkit-transition: width 200ms, opacity 200ms;
	-moz-transition:    width 200ms, opacity 200ms;
	-ms-transition:     width 200ms, opacity 200ms;
	-o-transition:      width 200ms, opacity 200ms;
	transition:         width 200ms, opacity 200ms;
}
.scrollator_lane {
	position: absolute;
	top: 3px;
	right: 3px;
	bottom: 3px;
	left: 3px;
	-moz-box-sizing: border-box;
	box-sizing: border-box;
	-webkit-border-radius: 10px;
	-moz-border-radius: 10px;
	border-radius: 10px;
	background-color: rgba(0, 0, 0, 0);
	-webkit-transition: background 200ms;
	-moz-transition:    background 200ms;
	-ms-transition:     background 200ms;
	-o-transition:      background 200ms;
	transition:         background 200ms;
}

.scrollator_lane_holder.scrollator_on_body {
	position: fixed;
}

.scrollator_lane_holder.hover, 
.scrollator_lane_holder:hover {
	width: 21px;
}
.scrollator_lane_holder.hover > .scrollator_lane, 
.scrollator_lane_holder:hover > .scrollator_lane {
	background-color: rgba(0, 0, 0, 0.15);
}

.scrollator_handle_holder {
	position: absolute;
	-moz-box-sizing: border-box;
	box-sizing: border-box;
	margin: 0 -3px;
	width: 15px;
	background-color: transparent;
	-webkit-transition: width 200ms;
	-moz-transition:    width 200ms;
	-ms-transition:     width 200ms;
	-o-transition:      width 200ms;
	transition:         width 200ms;
}
.scrollator_handle {
	position: absolute;
	top: 0;
	right: 3px;
	bottom: 0;
	left: 3px;
	-moz-box-sizing: border-box;
	box-sizing: border-box;
	-webkit-border-radius: 10px;
	-moz-border-radius: 10px;
	border-radius: 10px;
	background-color: rgba(0, 0, 0, 0.4);
}

.scrollator_lane_holder.hover .scrollator_handle_holder, 
.scrollator_lane_holder:hover .scrollator_handle_holder {
	width: 21px;
}
{'fraction_non_alphanumeric': 0.122040072859745, 'fraction_numerical': 0.06071645415907711, 'mean_word_length': 3.927218344965105, 'pattern_counts': {'":': 0, '<': 5, '<?xml version=': 0, '>': 9, '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': '5736622', 'n_tokens_mistral': 2129, 'n_tokens_neox': 1808, 'n_words': 455}