From 9a9dccf67e0d0fdb39f92c1081a400ee3c747278 Mon Sep 17 00:00:00 2001 From: John Merkel Date: Sun, 18 Feb 2024 10:02:18 -0800 Subject: [PATCH] Re-introduce PlutoUI specific CSS --- src/Details.jl | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/src/Details.jl b/src/Details.jl index 048e07c6..1085699c 100644 --- a/src/Details.jl +++ b/src/Details.jl @@ -34,6 +34,20 @@ using HypertextLiteral const testslider = html"" ╠═╡ =# +# ╔═╡ 13e81634-3b72-4b1d-a89b-36d184698d21 +const details_css = @htl(""" + +""") + # ╔═╡ df840588-23bd-4b03-b5ab-ef273052d198 const Iterable = Union{AbstractVector, Tuple, Base.Generator} @@ -52,6 +66,7 @@ begin end) + $(details_css) """) end @@ -204,5 +219,6 @@ export details # ╠═a5663932-9a19-4d6d-9b20-d6fefac8cf9d # ╠═cd2bcfa2-5759-40d6-9358-3e7e605c5bc2 # ╠═5d28fa36-49dc-4d0f-a1c3-3fc2a5efdd0a +# ╠═13e81634-3b72-4b1d-a89b-36d184698d21 # ╟─df840588-23bd-4b03-b5ab-ef273052d198 # ╠═46521e2b-ea06-491a-9842-13dff7dc8299