MediaWiki:Gadget-pageToolsInHeader.css

.page-header__pagetools{ margin-left:3px } .page-header__pagetools .wds-dropdown__toggle { border-radius:12px; font-size:14px; font-weight:500; line-height:1; margin-bottom:9px; padding:5px 10px; white-space:nowrap } .page-header__pagetools .wds-dropdown__toggle .wds-icon { margin-left:6px } .page-header__pagetools .wds-dropdown:hover .wds-dropdown__toggle { background-color:rgba(var(--theme-link-color--rgb),.15) }