RFR: [small, docs] JDK-8240971 Fix CSS styles in some doc comments

[Alex Menkov]

+1

--alex

On 03/12/2020 13:53, Mandy Chung wrote:
> This change looks okay.
> 
> Mandy
> 
> On 3/12/20 1:50 PM, Jonathan Gibbons wrote:
>> Please review a simple fix regarding the non-standard use of some CSS 
>> in some doc comments.
>>
>> From the JBS Description:
>>
>> Recently, for the display of javadoc block tags, javadoc changed from 
>> using an inconsistent set of CSS class names on the generated 'dt' 
>> elements to using a single new name ("notes") on the enclosing 'dl' 
>> element.
>>
>> There are a few (4) places in the main JDK code where the old-style 
>> names were used explicitly in doc comments, in order to emulate the 
>> appearance of a list of block tags. These use-sites should be fixed 
>> up. They are in the following files:
>>
>> open/src/java.base/share/classes/module-info.java
>> open/src/java.se/share/classes/module-info.java
>> open/src/java.management.rmi/share/classes/module-info.java
>> open/src/jdk.jconsole/share/classes/module-info.java
>>
>> In addition, these four files used the style attribute to force the 
>> font to be used. The font is now set in the standard CSS for "notes", 
>> and so the local use of a "style" attribute is no longer necessary.
>>
>> -- Jon
>>
>> JBS: https://bugs.openjdk.java.net/browse/JDK-8240971
>> Webrev: http://cr.openjdk.java.net/~jjg/8240971/webrev.00/index.html
>> API: http://cr.openjdk.java.net/~jjg/8240971/api.00/index.html
>>
>