diff --git a/assets/css/style.scss b/assets/css/style.scss
index 7e224e395c..f285a97d3a 100644
--- a/assets/css/style.scss
+++ b/assets/css/style.scss
@@ -1,7 +1,5 @@
----
-# This file is normally provided by our theme.  If this file is deleted,
-# the theme one will transparently replace it.
----
+// This file is normally provided by our theme.  If this file is deleted,
+// the theme one will transparently replace it.
 
 // SPDX-License-Identifier: CC-BY-SA-4.0
 // Copyright 2020 seL4 Project a Series of LF Projects, LLC.