From ba41412c54cf58f440c642e2ffe17f7c2c7b7ee2 Mon Sep 17 00:00:00 2001
From: Ward Vandewege <ward@curii.com>
Date: Fri, 15 Apr 2022 11:51:44 -0400
Subject: [PATCH] 18995: CSS comments can not use double slash

Arvados-DCO-1.1-Signed-off-by: Ward Vandewege <ward@curii.com>
---
 doc/css/nav-list.css | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/css/nav-list.css b/doc/css/nav-list.css
index 1cc57bc829..3f9873c21c 100644
--- 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
+}
-- 
2.30.2