#[Paul_Robert_Ll]Bare in mind that includes a number of styles also in custom.css, I should probably remove those that are duplicative, but will leave for now. The gist is probably a better guide.
#[tantek]no the gist makes it much harder to figure out what to copy paste and in how many steps
#[tantek]ok this is too confusing. common.css vs vector-2022.css vs custom.css
#[tantek]just to make sure we are talking about the same thing, can you use a filename / extension the same as the thing being updated?
#[Paul_Robert_Ll]The gist is the better guide; I took the current contents of https://indieweb.org/MediaWiki:Common.css, and highlighted what to remove and what to add.
aaron joined the channel
#[tantek]right, so can you provide an equivalent common.css under your User: page that has the full update?
#[tantek]that would be much easier to use to understand the changes (because I can preview changes before committing)
#[Paul_Robert_Ll]Shall I update my user CSS to only include the additions? It’s a bit hard showing the deletions, as User styles inherit the main Custom.css.
#[Paul_Robert_Ll](To ‘delete’ a rule, you have to write a rule to overrule it :zany_face:)
#[Paul_Robert_Ll]One sec… I think I see what you’re getting at, I’ll create a page…
#[Paul_Robert_Ll]Font change will make more sense I think when we switch the default theme to Vector 2022 tomorrow. Today’s a good day to test how the new styles work with the older theme.