On 04/21/2016 09:25 AM, Andrea Bolognani wrote:
Most of the time, the <dt> tag is used when providing
documentation for a symbol; enclose symbols in <code> tags to
style them appropriately.
---
docs/auditlog.html.in | 142 +++++++++++++++++++++---------------------
docs/drvlxc.html.in | 16 ++---
docs/formatcaps.html.in | 26 ++++----
docs/formatdomain.html.in | 18 +++---
docs/formatdomaincaps.html.in | 32 +++++-----
docs/locking.html.in | 6 +-
docs/remote.html.in | 12 ++--
7 files changed, 126 insertions(+), 126 deletions(-)
ACK
John
Feel free to either adjust or make your own second patch with the style
sheet change along with this since I believe the impetus for this patch.