We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
CssFile
1 parent 3efce68 commit 862ba94Copy full SHA for 862ba94
src/verso-manual/VersoManual/Html/CssFile.lean
@@ -21,7 +21,7 @@ public structure StaticCssFile where
21
deriving BEq, Repr, Hashable, Ord
22
23
/--
24
-An extra JS file to be emitted and added to the page.
+An extra CSS file to be emitted and added to the page.
25
-/
26
public structure CssFile extends StaticCssFile where
27
contents : CSS
0 commit comments