Jump to content

MediaWiki talk:Gadget-charinsert-core.css

Page contents not supported in other languages.
Add topic
From Wikisource
Latest comment: 9 days ago by Xover in topic dark mode compatible

dark mode compatible

[edit]

can anyone remove its background to make it compatible for dark mode or import styles from MediaWiki:Gadget-charinsert-styles.css. pinging some admins @Xover @Billinghurst KuldeepBurjBhalaike (Talk) 07:40, 3 December 2024 (UTC)Reply

Change the background color to var(--background-color-neutral,#eaecf0) since it would fit in better (@Beeswaxcandle: as a more active beaureaucrat) —Matrix(!) ping onewhen replying {user - talk? - uselesscontributions} 19:05, 30 December 2024 (UTC)Reply
Sorry, but CSS is outside my knowledge base, so I'm not prepared to make tweaks. Beeswaxcandle (talk) 19:19, 30 December 2024 (UTC)Reply
@Samwilson: could you execute the change then please? —Matrix(!) ping onewhen replying {user - talk? - uselesscontributions} 13:18, 1 January 2025 (UTC)Reply
@Matrix: Sorry, I'm not an interface admin so can't change it. I wonder if it should use --background-color-neutral-subtle instead, which is slightly lighter and is the colour of the WikiEditor background? Sam Wilson 00:47, 2 January 2025 (UTC)Reply
@Samwilson: the character inserts are at the bottom part of the WikiEditor, which uses --background-color-neutral. These are the changes if any IAdmin would like to execute them:
::::/* MediaWiki:Gadget-charinsert-core.css */
::::#editpage-specialchars {
::::	display: block;
::::	box-sizing: border-box;
::::	border: 1px solid #c0c0c0;
::::	background-color: var(--background-color-neutral, #eaecf0);
::::	color: inherit;
::::	line-height: normal;
::::	padding: 0.37em;
::::}
::::#wpTextbox1 + #editpage-specialchars, .wikiEditor-ui-clear + #editpage-specialchars {
::::	border-top: none;
::::}
::::
Matrix(!) ping onewhen replying {user - talk? - uselesscontributions} 13:00, 2 January 2025 (UTC)Reply
Tested at User:Matrix/common.cssMatrix(!) ping onewhen replying {user - talk? - uselesscontributions} 13:02, 2 January 2025 (UTC)Reply
@Matrix: Oops, you're right — but I think I've got something weird going on, because there's seems to be some variation on how it's loaded and sometimes I'm seeing the charinsert bar load at the top! That's a separate issue, and you're quite right that the colour here should be background-color-neutral. Sam Wilson 13:14, 2 January 2025 (UTC)Reply
@Matrix: Done. @Samwilson: It loads wherever $("#editpage-specialchars") is in the page, but this is different between namespaces. I suspect it's PRP that's inserting its editor UI in the wrong place relative to where core / WikiEditor places #editpage-specialchars. I might be able to work around it in the Gadget, but that'd introduce a fragile dependency on WikiEditor's internal implementation (which has been stable for a long time, but… ick). Xover (talk) 11:20, 3 January 2025 (UTC)Reply