diff --git a/docs/codingstyle.html b/docs/codingstyle.html
index 3284ca6..66ffc0c 100644
--- a/docs/codingstyle.html
+++ b/docs/codingstyle.html
@@ -56,11 +56,11 @@
    indent -br -i3 -npcs --no-tabs infile.c -o outfile.c
 </pre>
 
-<li>Use comments wherever you think it would be helpful for other developers.
+<li>
+<p>Use comments wherever you think it would be helpful for other developers.
 Several specific cases and style examples follow.  Note that we roughly
 follow <a href="https://www.stack.nl/~dimitri/doxygen/">Doxygen</a> conventions.
-<br>
-<br>
+</p>
 Single-line comments:
 <pre>
    /* null-out pointer to prevent dangling reference below */