Reduce usage of CSS pseudo elements #5
Description
::after CSS pseudo elements are overused in the javadoc stylesheet, reduce/remove their usages, so the text content can be properly copied and searched.
(These elements aren't copied when selected, and don't show up in search results.)