Skip to content
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

Double quotes in Section 7.1.1 should be straight #32

Open
Antoine-Zimmermann opened this issue Dec 19, 2022 · 4 comments
Open

Double quotes in Section 7.1.1 should be straight #32

Antoine-Zimmermann opened this issue Dec 19, 2022 · 4 comments
Labels
typo Issue relates to a typographic, spelling, or punctuation mistake.

Comments

@Antoine-Zimmermann
Copy link
Contributor

The double quotes surrounding a lexical form of a datatype node should be straight: " as opposed to and .

@Antoine-Zimmermann Antoine-Zimmermann added the typo Issue relates to a typographic, spelling, or punctuation mistake. label Dec 19, 2022
@aidhog aidhog closed this as completed in a282f4a Mar 3, 2023
@aidhog aidhog reopened this Mar 3, 2023
@aidhog
Copy link
Collaborator

aidhog commented Mar 3, 2023

I replaced all and in literals with ', but the font tends to display these as very subtle for some reason. :(

Feel free to reopen if not happy with this and we can maybe wrap a span to change the font for the quotes.

image

@aidhog aidhog closed this as completed Mar 3, 2023
aidhog added a commit that referenced this issue Mar 3, 2023
@Antoine-Zimmermann
Copy link
Contributor Author

At the moment, the font for gnodes is wrong, and ' makes a straight single quote. There should be double quotes there.

@Antoine-Zimmermann
Copy link
Contributor Author

The "straight" double quote character does not look straight in the font used previously there (cmss8). Thinking about it, I find that the opening and closing double quotes and look better, and there is not strong reason to use straight quotes as this is not showing an actual serialisation syntax.

@Antoine-Zimmermann
Copy link
Contributor Author

Another option that I find pretty good is to use <span class="gnode"><code>"2020-03-29T20:00:00"^^xsd:dateTime</code></span>, <span class="gnode"><code>"Santiago"</code></span>, and <span class="gnode"><code>"City"@en</code></span>.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
typo Issue relates to a typographic, spelling, or punctuation mistake.
Projects
None yet
Development

No branches or pull requests

2 participants