MediaWiki:Gadget-ShowIDs-pagestyles.css
Note: After publishing, you may have to bypass your browser's cache to see the changes.
- Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
- Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
- Internet Explorer / Edge: Hold Ctrl while clicking Refresh, or press Ctrl-F5
- Opera: Press Ctrl-F5.
.etymid, .etymonid {
margin-left: 0;
padding: 0 !important;
display: inline;
}
.senseid-displayed, .etymid-displayed, .etymonid-displayed, .senseid::before, .etymid::before, .etymonid::before {
border: 1px solid var(--wikt-palette-blue-6);
background: var(--wikt-palette-blue-1);
color: var(--wikt-palette-black);
border-radius: 5px;
font-size: 90%;
margin-right: 0.1em;
padding: 0.2em !important;
}
/* highlighted IDs */
.senseid-displayed:target, .etymid-displayed:target, .etymonid-displayed:target, .senseid:target .senseid-displayed, .etymid:target .etymid-displayed, .etymonid:target .etymonid-displayed, .senseid:target::before, .etymid:target::before, .etymonid:target::before {
background: var(--wikt-palette-blue-4);
font-weight: 600;
}
.senseid::before, .etymid::before, .etymonid::before {
content: attr(data-id);
padding: 0.2em !important;
}