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