- From: Peter Flynn <peter@silmaril.ie>
- Date: Mon, 2 Feb 2026 22:46:56 +0000
- To: public-ixml@w3.org
On 02/02/2026 16:39, Steven Pemberton wrote: > [...] > "more indented" is hard to define without a specific definition; Reminds me of the editor who wanted strong emphasis to be simply "more italic than italics" Peter
Received on Monday, 2 February 2026 22:47:09 UTC