RFR: 8345555: Improve layout of search results [v2]

[Hannes Wallnöfer]

On Mon, 3 Mar 2025 17:14:07 GMT, Chen Liang <liach at openjdk.org> wrote:

>> Hannes Wallnöfer has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Rename label property as it has special meaning to jquery-ui
>
> src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/IndexItem.java line 127:
> 
>> 125:          * {@return the kind of index item for a program element}
>> 126:          */
>> 127:         public static Kind ofElement (Element elem, Utils utils) {
> 
> Suggestion:
> 
>         public static Kind ofElement(Element elem, Utils utils) {

Thanks, @liach! I pushed the changes you suggested along with two small fixes.

-------------

PR Review Comment: https://git.openjdk.org/jdk/pull/23666#discussion_r1978124216