-
Notifications
You must be signed in to change notification settings - Fork 0
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
Characters for insertion signs #41
Comments
Thanks for opening this discussion. I think I like "insertion┐" best. |
|
Thanks @thvitt . So none of the characters are completely available across our fonts. So maybe that argument would not factor into our choice? @gerritbruening, yes, there seems to be more space on the right hand side, which would maybe obscure the intended point of insertion (the inserted text ist right-aligned with the point of insertion). In summary, the horizontal line is better on the "box drawings" glyphs and the vertical line is better on the "ceiling" glyphs. |
we can add this kind of character to the 'Ubuntu Faust' fonts. I would prefer not to have to touch the Gentium fonts, though. Another option would be to try and fit in a replacement font for specific unicode ranges (e.g., the block drawing characters) via the CSS's |
Not sure whether I understand
but I think I agree to what you said. |
The unicode character for the insertions could be revised, so that it looks something like "insertion┐" or "insertion╮" instead of "insertion⌉". That would change the set of characters we need in our fonts, though. I'm not really up to the state of how final the set of characters is we are allowed to use and what is already included in the fonts. Thoughts?
The text was updated successfully, but these errors were encountered: