function make_css_cursor(name, coords, fallback) {
	return `url(images/cursors/${name}.png) ${coords.join(" ")}, ${fallback}`;
}
@param {string} name  filename without extension
@param {[number, number]} coords  hotspot coordinates
@param {string} fallback  fallback cursor value
@returns {string}  CSS `cursor` value