At 2017-06-06T20:50:21+05:30, N. Raghavendra wrote:
> CSS rules like
>
> pre.src-awk:before { content: 'Awk'; }
>
> in `org-html-style-default' don't work in the current Org version,
> because the class attribute has been moved from the `pre' element to a
> `code' child of that element. As a result, the name of the language
> isn't dipslayed when hovering over a source block in the HTML file.
Continuing the soliloquy, I was wondering if any of the maintainers have
seen this patch, and the bug that it addresses. If they have, I'd
appreciate some indicator of what is being done about it.
Cheers,
Raghu.
--
N. Raghavendra <ra...@hri.res.in>, http://www.retrotexts.net/
Harish-Chandra Research Institute, http://www.hri.res.in/
