Currently there may be errors shown on top of a page, because of a missing Wiki update (PHP version and extension DPL3). |
Navigation
Topics | Help • Register • News • History • How to • Sequences statistics • Template prototypes |
Difference between revisions of "MediaWiki:Gadget-charinsert-styles.css"
(Created page with "/* _____________________________________________________________________________ * | | * |...") |
(No difference)
|
Latest revision as of 09:58, 14 December 2018
/* _____________________________________________________________________________
* | |
* | === WARNING: GLOBAL GADGET FILE === |
* | Changes to this page affect many users. |
* | Please discuss changes on the talk page or on [[WT:Gadget]] before editing. |
* |_____________________________________________________________________________|
*
*/
/* Overwrites selector from MediaWiki:Common.css */
div#editpage-specialchars {
display: block;
border: 1px solid #c0c0c0;
padding: .5em 1em;
}
#editpage-specialchars a {
background-color: #f9f9f9;
border: 1px solid #ddd;
padding: 1px 4px;
}
textarea#wpTextbox1 + #editpage-specialchars,
.wikiEditor-ui-clear + #editpage-specialchars {
border-top: none;
}