MediaWiki:Gadget-ShowIDs-pagestyles.css

Note: You may have to bypass your browser’s cache to see the changes. In addition, after saving a sitewide CSS file such as MediaWiki:Common.css, it will take 5-10 minutes before the changes take effect, even if you clear your cache.

Mozilla / Firefox / Safari: hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (Command-R on a Macintosh);
Konqueror and Chrome: click Reload or press F5;
Opera: clear the cache in Tools → Preferences;
Internet Explorer: hold Ctrl while clicking Refresh, or press Ctrl-F5.

This gadget stylesheet lacks a documentation subpage. Please create it.

This script is a part of the ShowIDs-pagestyles gadget (edit definitions)

Description (edit): CSS (implementation and fallback CSS) for ShowIDs

Useful links: subpage list • links • redirects • transclusions

/* <nowiki> */
.senseid-displayed, .etymid-displayed, .senseid::before, .etymid::before {
    border: 1px solid var(--wikt-palette-blue-6, #92b3f7);
    padding: 0.2em;
    background: var(--wikt-palette-blue-1, #ecf2fe);
    color: var(--color-base, black);
    border-radius: 5px;
    font-size: 90%;
	margin-right: 0.1em;
}

/* highlighted IDs */
.senseid-displayed:target, .etymid-displayed:target, .senseid:target .senseid-displayed, .etymid:target .etymid-displayed, .senseid:target::before, .etymid:target::before {
    background: var(--wikt-palette-blue, #3333ff);
    border: 1px solid var(--color-base, #202122);
}

.senseid::before, .etymid::before {
	content: attr(data-id);
}
/* </nowiki> */