/* Wrench cursor (switch on/off with 'wrench_cursor' in app/config.php).
   Only on computers with a mouse; phones and tablets are not affected.
   Clickable things keep the normal hand, text fields keep the normal text cursor. */
@media (pointer: fine) {
    html, body { cursor: url("../img/cursor-wrench.png") 4 4, auto; cursor: -webkit-image-set(url("../img/cursor-wrench.png") 1x, url("../img/cursor-wrench@2x.png") 2x) 4 4, auto; }
    a, button, summary, label, select, [role="button"], [onclick], input[type="submit"], input[type="button"], input[type="checkbox"], input[type="radio"], input[type="file"],
    a *, button * { cursor: pointer; }
    input:not([type="submit"]):not([type="button"]):not([type="checkbox"]):not([type="radio"]):not([type="file"]), textarea, [contenteditable="true"] { cursor: text; }
    .leaflet-container, .leaflet-grab { cursor: grab; }
    .leaflet-dragging .leaflet-grab { cursor: grabbing; }
}