MediaWiki:Gadget-history-hide-bots.css

Uwaga: aby zobaczyć zmiany po opublikowaniu, może zajść potrzeba wyczyszczenia pamięci podręcznej przeglądarki.

Firefox / Safari: Przytrzymaj Shift podczas klikania Odśwież bieżącą stronę, lub naciśnij klawisze Ctrl+F5, lub Ctrl+R (⌘-R na komputerze Mac)
Google Chrome: Naciśnij Ctrl-Shift-R (⌘-Shift-R na komputerze Mac)
Internet Explorer / Edge: Przytrzymaj Ctrl, jednocześnie klikając Odśwież, lub naciśnij klawisze Ctrl+F5
Opera: Naciśnij klawisze Ctrl+F5.

/*
	Style CSS dla gadżetu "history-hide-bots"
	Autor: Peter Bowman @ plwikt
*/

#pagehistory .history-bot-group-label {
	list-style: none outside none;
	text-align: center;
	font-size: 0.8em;
}

#pagehistory .history-bot-group-label,
#pagehistory li.history-hide-bot,
#pagehistory .history-hide-bot .flaggedrevs-color-1 {
	background-color: #DFE7FF;
}

#pagehistory .history-hide-bot .flaggedrevs-color-1 + span {
	background-color: #F0F8FF;
}

#pagehistory .history-bot-group-label:hover {
	background-color: #CEDAFF;
}

#pagehistory .history-bot-group-label span {
	cursor: pointer;
}

#pagehistory .history-is-bot .mw-userlink {
	font-weight: bold;
}