MediaWiki:Gadget-WikiMap.css

Version vom 9. Juni 2026, 21:08 Uhr von Admin (Diskussion | Beiträge)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

Hinweis: Leere nach dem Veröffentlichen den Browser-Cache, um die Änderungen sehen zu können.

  • Firefox/Safari: Umschalttaste drücken und gleichzeitig Aktualisieren anklicken oder entweder Strg+F5 oder Strg+R (⌘+R auf dem Mac) drücken
  • Google Chrome: Umschalttaste+Strg+R (⌘+Umschalttaste+R auf dem Mac) drücken
  • Edge: Strg+F5 drücken oder Strg drücken und gleichzeitig Aktualisieren anklicken
/* Gadget-WikiMap.css
 * Styling für die Wiki-Karten und Pins.
 */

/* Der Karten-Container. Höhe MUSS gesetzt sein, sonst zeigt Leaflet nichts. */
.wikimap {
	width: 100%;
	aspect-ratio: 1/1;
	margin: 0 0 1em 0;
	border: 1px solid #c8ccd1;
	border-radius: 4px;
	z-index: 0; /* unter Wiki-Menüs bleiben */
}

/* Standard-Pin (alle "auch noch da"-Orte): dezenter blauer Punkt. */
.wikimap-pin {
	background: #3367d6;
	border: 2px solid #fff;
	border-radius: 50%;
	box-shadow: 0 1px 3px rgba( 0, 0, 0, 0.4 );
}

/* Aktiver Pin (der Ort der aktuellen Seite): auffälliger, rot, mit Puls. */
.wikimap-pin-aktiv {
	background: #d33;
	border: 3px solid #fff;
	box-shadow: 0 0 0 4px rgba( 221, 51, 51, 0.35 );
	animation: wikimap-puls 1.6s ease-out infinite;
}

@keyframes wikimap-puls {
	0% {
		box-shadow: 0 0 0 0 rgba( 221, 51, 51, 0.5 );
	}
	70% {
		box-shadow: 0 0 0 12px rgba( 221, 51, 51, 0 );
	}
	100% {
		box-shadow: 0 0 0 0 rgba( 221, 51, 51, 0 );
	}
}