@function bright-gray($color) {
	@return lighten($color, 80);
}
@function bright-gray-active($color) {
	@return lighten($color, 70);
}
@function bright-color($color) {
	@return lighten($color, 40);
}
@function active-color($color) {
	@return lighten($color, 8);
}
@function hover-color($color) {
	@return lighten($color, 4);
}
@function border-color($color) {
	@return darken($color, 4);
}