22 Apr
2016
22 Apr
'16
1:15 a.m.
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.