Batcheditor, Moderator, Protector, Reviewer, Burocratas, editor, pagecreator, pagedeleter, Page Ownership admin, Supressores, Administradores, Editores de ''widgets''
14 339
edições
MediaWiki:Common.css: diferenças entre revisões
MediaWiki:Common.css (ver código-fonte)
Revisão das 17h54min de 10 de julho de 2023
, 10 de julho de 2023sem resumo de edição
Sem resumo de edição |
Sem resumo de edição |
||
| Linha 767: | Linha 767: | ||
*/ | */ | ||
border-color: darkgrey !important; | border-color: darkgrey !important; | ||
} | |||
/* Remove the regular search bar from the Main Page */ | |||
.page-Main_Page #mw-head #right-navigation #p-search { | |||
display: none !important; | |||
} | } | ||