Numbers in numbered lists could be bold

[Nebucatnetzer]

I wandered if the numbers in a numbered list maybe should be bold. If we look at https://manubot.github.io/rootstock/#basic-formatting it feels to me that the bullets have more "weight" than the numbers even though they are basically the same item.

[dhimmel]

1. Testing
2. What GitHub does

• bullets
• list

Looks like GitHub is also light on the numbered list weight.

Perhaps @vincerubinetti would be able to suggest the CSS to increase the number weight in a numbered list. Then you could evaluate it in your manuscript. For changes like this, we usually like to observe them in the wild a bit before adding them to rootstock.

I don't envision many downsides, perhaps only with how it would interact with numbered lists in bold spans or paragraphs.

[Nebucatnetzer]

Maybe it would be better to make the bullets a bit smaller?

Dec. 23, 2019 14:53:26 Daniel Himmelstein [email protected]:

• Testing

• What GitHub does

• bullets

• list

Looks like GitHub is also light on the numbered list weight.

Perhaps @vincerubinetti [https://github.com/vincerubinetti] would be able to suggest the CSS to increase the number weight in a numbered list. Then you could evaluate it in your manuscript. For changes like this, we usually like to observe then in the wild a bit before adding them to rootstock.

I don't envision many downsides, perhaps only with how it would interact with numbered lists in bold spans or paragraphs.

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub [https://github.com/manubot/rootstock/issues/292?email_source=notifications&email_token=AAROM5JPFJZX74XC6FUH3CDQ2C7EVA5CNFSM4J6NTX62YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEHRFM6Y#issuecomment-568481403] , or unsubscribe [https://github.com/notifications/unsubscribe-auth/AAROM5NK6WVO3BQ7DTYE5WDQ2C7EVANCNFSM4J6NTX6Q] . [https://github.com/notifications/beacon/AAROM5L3CM627ZEJTMJ2CMDQ2C7EVA5CNFSM4J6NTX62YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEHRFM6Y.gif]

[vincerubinetti]

It is possible to do this -- both the number boldening and the bullet shrinking -- but it requires overriding a lot of browser default styles. For such a small feature, it will add many lines of css to maintain.

I'd rather hold off on this until we get more requests for it. If you want this feature, 👍 the original post here.

[dhimmel]

I'd rather hold off on this until we get more requests for it.

Makes sense to me. It seems like we're dealing with pretty accepted default styling of HTML, that perhaps while not ideal, is probably not worth overriding and maintaining.