New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[localization] Change bold-slanted font, removes warning #350
Conversation
I'd like to investigate other formatting options here. In the first case at least, I'm not sure the boldness is helpful. |
That's a good point; the typographic choice here may benefit from a review, and in that case we can discard this PR. |
At any rate, the format should be abstracted into what it really means – such an abstraction should eventually be a part of this PR. |
Do we have any further plans here? If not, could the present PR be applied as a small-increment improvement? |
845c52b
to
00c91e3
Compare
Updated this to use the |
00c91e3
to
7568757
Compare
Reverted to |
Please implement a macro that gives this construct some semantic meaning. |
7568757
to
a9e3445
Compare
Actually, I don't think the bolding helps at all. The goal of marking the code as a "placeholder" is served perfectly well with a plain italic. I think with this change it's simple enough and we can keep the I also found another place were it could be applied. |
ef9ccbe
to
d1cda3c
Compare
d1cda3c
to
4fbf5c7
Compare
LaTeX "missing font" warning and is also perfectly sufficient to mark "variable code". Apply consistently to a second use case, too.
4fbf5c7
to
9854421
Compare
I agree with @vermiculus that we should have a macro for this kind of thing; a quick search for other bitmask types shows that they use a bare Let's get this change in to fix the presentation and leave the cleanup to the other issues. |
[localization] Change bold-slanted font, removes warning
If there's interest, I'm happy to make a change that uses |
I'm a pretty deft TeX programmer. Tell me the syntax you want and I'll be happy to implement it in that other issue (can it be referenced here?) 😄 What distribution of TeX Live is being used to compile this? (Use We should also consider other fonts we can use. If you don't already know, all fonts are now fair game. |
@vermiculus: I think we can probably use Depending on context we may also like a version of it that disables italic correction, but that's a minor point. |
Ah, I didn't realize such a macro already existed 😄
Adding a variant to |
There is no "bold italic teletype" font. This produces a LaTeX warning and a font replacement.
The next best thing is "bold slanted teletype", which this change introduces.