- From: Fuqiao Xue via GitHub <sysbot+gh@w3.org>
- Date: Mon, 12 May 2025 08:25:33 +0000
- To: public-i18n-archive@w3.org
OK, so now the new version is: > Generally speaking, the characters in the indented paragraphs should have the same font size as the characters in the body content. Sometimes, however, paragraphs that apply a paragraph indent may have a different typeface and therefore character size from that of 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 xfq Please view or discuss this issue at https://github.com/w3c/clreq/issues/521#issuecomment-2871411820 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 12 May 2025 08:25:34 UTC