Closed pankgeorg closed 2 years ago
Open Julia and type:
julia> import Pkg julia> Pkg.activate(temp=true) julia> Pkg.add(url="https://github.com/JuliaPluto/PlutoUI.jl", rev="toggle-toc") julia> using PlutoUI
Or run this code in your browser:
@pankgeorg you still need to push the matchMedia stuff 👀
matchMedia
@fonsp 💥
Try this Pull Request!
Open Julia and type:
Or run this code in your browser:![Run with binder](https://mybinder.org/badge_logo.svg)