-
-
Notifications
You must be signed in to change notification settings - Fork 43
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
{:lang}
as substitute for {lang="lang"}
#5
Comments
{:lang}
as substitute for lang="lang"
{:lang}
as substitute for {lang="lang"}
as
|
many thanks for your comment.
I don’t think this is exactly the same. According to https://htmlpreview.github.io/?https://github.com/jgm/djot/blob/master/doc/syntax.html#emoji:
Colons are used for language pseudo-class in CSS selection: p:lang(grc) {
background: yellow;
} This is consistent with having the CSS selectors for That being said, having proper syntax for languages (as in Many thanks for your reply again. |
Having thought more about #44 I now think that |
@jgm,
after having to tag languages in many documents, I think this would be handy:
It is consistent with the syntax for
{#id}
and{.class}
.Would it be possible to have this handle in djot?
Many thanks for your help and your excellent work.
The text was updated successfully, but these errors were encountered: