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;
}