Fix linting error

TheDataMine · Jun 16, 2021 · 388e1aa · 388e1aa
1 parent 25d9d76
commit 388e1aa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/css/doc.css b/src/css/doc.css
@@ -837,4 +837,4 @@ h1.page + aside.toc.embedded {
 .doc h4 {
   font-size: 1.1em !important;
   font-weight: 500 !important;
-}
+}