- From: r12a via GitHub <sysbot+gh@w3.org>
- Date: Thu, 08 May 2025 15:06:57 +0000
- To: public-i18n-archive@w3.org
Typo correction: > Generally speaking, the characters in the indented paragraphs should have the same font size as the characters in the body content. Sometimes, due to differences in typefaces, the size of characters in the paragraphs which apply a paragraph indent differ from the characters in the body content. In this case, a certain amount of space might be added before and after the indented paragraph to distinguish it clearly from other paragraphs. The space added is usually an integer multiple of the height of the paragraphs in the body content. -- GitHub Notification of comment by r12a Please view or discuss this issue at https://github.com/w3c/clreq/issues/521#issuecomment-2863398407 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 8 May 2025 15:06:58 UTC