18995: CSS comments can not use double slash

Arvados-DCO-1.1-Signed-off-by: Ward Vandewege <ward@curii.com>

diff --git a/doc/css/nav-list.css b/doc/css/nav-list.css
index 1cc57bc829cd3e08407296a0ea46424b2581bf60..3f9873c21cd6d77b4be7ff8206b741fd77b9759c 100644 (file)
--- a/doc/css/nav-list.css
+++ b/doc/css/nav-list.css
@@ -2,8 +2,8 @@
 
 SPDX-License-Identifier: CC-BY-SA-3.0 */
 
-// NAV LIST
-// --------
+/* NAV LIST
+   -------- */
 
 .nav-list {
   padding-left: 15px;
@@ -34,4 +34,4 @@ SPDX-License-Identifier: CC-BY-SA-3.0 */
 .inside-list ul {
     list-style-position: inside;
     padding-left: 0;
-}
\ No newline at end of file
+}