Xenllium
Joined 15 November 2018
→Backslash: Re (¥) |
|||
Line 202: | Line 202: | ||
:: Honestly, I'm pretty sure just accepting "7¥12" as valid edostep notation is a reasonable approach at this point. -- [[User:VectorGraphics|VectorGraphics]] ([[User talk:VectorGraphics|talk]]) 01:33, 4 May 2025 (UTC) | :: Honestly, I'm pretty sure just accepting "7¥12" as valid edostep notation is a reasonable approach at this point. -- [[User:VectorGraphics|VectorGraphics]] ([[User talk:VectorGraphics|talk]]) 01:33, 4 May 2025 (UTC) | ||
::: I like this idea, I've added ¥ as officially meaning the same thing as \ in the [[glossary]]. --[[User:BudjarnLambeth|BudjarnLambeth]] ([[User talk:BudjarnLambeth|talk]]) 02:46, 4 May 2025 (UTC) | ::: I like this idea, I've added ¥ as officially meaning the same thing as \ in the [[glossary]]. --[[User:BudjarnLambeth|BudjarnLambeth]] ([[User talk:BudjarnLambeth|talk]]) 02:46, 4 May 2025 (UTC) | ||
::: I disagree. It isn't wise to create alternatives to otherwise simple and widespread notations just because some user has technical issues, and for which solutions have been provided too. I will remove it from the glossary, because it gives the false impression that this notation is established. --[[User:Fredg999|Fredg999]] ([[User talk:Fredg999|talk]]) 05:01, 4 May 2025 (UTC) | |||
:: If it doesn't work through browser settings, then I wonder if some user CSS code could do it. For example, I have my own user CSS page here: [[User:Fredg999/common.css]]. I think the stuff that's currently in there isn't relevant anymore because it was implemented site-wide since then, but it should give you an idea of how it works, at least. You might be able to define a CSS rule that sets the default font to Arial, which should work the same as a span tag, except it would be applied everywhere automatically. See also [[Help:Advanced formatting of wiki pages]]. That said, I think searching for a workaround at the browser level has more chance to work quickly. --[[User:Fredg999|Fredg999]] ([[User talk:Fredg999|talk]]) 03:29, 27 April 2025 (UTC) | :: If it doesn't work through browser settings, then I wonder if some user CSS code could do it. For example, I have my own user CSS page here: [[User:Fredg999/common.css]]. I think the stuff that's currently in there isn't relevant anymore because it was implemented site-wide since then, but it should give you an idea of how it works, at least. You might be able to define a CSS rule that sets the default font to Arial, which should work the same as a span tag, except it would be applied everywhere automatically. See also [[Help:Advanced formatting of wiki pages]]. That said, I think searching for a workaround at the browser level has more chance to work quickly. --[[User:Fredg999|Fredg999]] ([[User talk:Fredg999|talk]]) 03:29, 27 April 2025 (UTC) | ||