search

JuliaDocs / DocumenterTools.jl

Extra tools for setting up Documenter
Other
30 stars 19 forks source link

feat: compress css #71

Closed pfitzseb closed 1 year ago

pfitzseb commented 1 year ago

ref https://github.com/JuliaDocs/Documenter.jl/pull/2157