<NME> themes.jl
<BEF> ADDFILE
<MSG> Implement a new HTML front end with Bulma (#1043)


<DFF> @@ -0,0 +1,30 @@
+# This file checks that the compiled CSS files for the HTML themes are up to date.
+#
+# This does not run as part of the standard test suite, since the CSS produced by libsass
+# is likely not deterministic across libsass versions.
+#
+# However, we can still run these tests as part of the CI, and ignore the results as needed.
+using Test
+using Documenter.Writers: HTMLWriter
+using DocumenterTools: Themes
+
+@testset "HTML themes" begin
+    @test isdir(HTMLWriter.ASSETS)
+    @test isdir(HTMLWriter.ASSETS_SASS)
+    @test isdir(HTMLWriter.ASSETS_THEMES)
+
+    for theme in HTMLWriter.THEMES
+        @test isfile(joinpath(HTMLWriter.ASSETS_SASS, "$(theme).scss"))
+        @test isfile(joinpath(HTMLWriter.ASSETS_THEMES, "$(theme).css"))
+    end
+
+    mktempdir() do tmpdir
+        for theme in HTMLWriter.THEMES
+            dst = joinpath(tmpdir, "$(theme).css")
+            Themes.compile_native_theme(theme; dst=dst)
+            css_compiled = read(dst)
+            css_repo = read(joinpath(HTMLWriter.ASSETS_THEMES, "$(theme).css"))
+            @test css_compiled == css_repo
+        end
+    end
+end

Implement a new HTML front end with Bulma (#1043)