Oct. 26, 2015
10:52 a.m.
Tony R. added the comment:
On Oct 26, 2015, at 1:49 PM, Ezio Melotti <report@bugs.python.org> wrote:
Not sure if there's a clever way to do it though (maybe a CSS class can be added to the directives and the labels can be added with CSS :after).
I was thinking something along these lines. Other possibilities come to mind, also. ---------- _______________________________________ Python tracker <report@bugs.python.org> <http://bugs.python.org/issue25467> _______________________________________