<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=utf-8">

</head>

<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">

Hi Felix,

<div><br>

</div>

<div>Thanks for your email and interest in the JLS!</div>

<div><br>

</div>

<div>Indeed, the formatting of the HTML and PDF versions of the specs are not aligned as they should be - you’re quite right. I had a go at sorting this out, but I had to revert as they revealed more deep-seated formatting and productions issues that I couldn’t

 quite sort out in time for JDK 25. So, you’ll have to endure the inconsistency for the next edition. Fingers crossed that I can figure out the fixes for JDK 26 :-)</div>

<div><br>

</div>

<div>Many thanks again,</div>

<div>Gavin<br id="lineBreakAtBeginningOfMessage">

<div><br>

<blockquote type="cite">

<div>On 10 Dec 2022, at 14:15, Felix Pahl <joriki27@gmail.com> wrote:</div>

<br class="Apple-interchange-newline">

<div>

<div dir="ltr">

<div>Referring to this version of the JLS: <a href="https://docs.oracle.com/javase/specs/jls/se11/html/jls-1.html#jls-1.3">

https://docs.oracle.com/javase/specs/jls/se11/html/jls-1.html#jls-1.3</a> :</div>

<div><br>

</div>

<div>Section 1.3 ("Notation") says that "non-normative information [...] is given in smaller, indented text."</div>

<div><br>

</div>

<div>It's not actually indented (neither in the example given there, nor when this convention is used in the specification) but italicized.<br>

</div>

</div>

</div>

</blockquote>

</div>

<br>

</div>

</body>

</html>