MediaWiki:Gadget-Edittools.css: Difference between revisions

From Linguifex
Jump to navigation Jump to search
 
m 1 revision imported
 
(No difference)

Latest revision as of 17:55, 4 November 2025

/* CSS borrowed from Wikipedia's [[w:MediaWiki:Gadget-charinsert-styles.css]]. */
.charinserter {
  /*background-color: #f9f9f9;*/
  /*border: 1px solid #ddd;*/
  padding: 1px 4px;
}