Skip to content

Instantly share code, notes, and snippets.

@pankgeorg

pankgeorg/pluto.jl

Created December 12, 2020 13:49
Show Gist options
  • Save pankgeorg/05d2f7dbffd1cccce49dbc3626eaeaf6 to your computer and use it in GitHub Desktop.
Save pankgeorg/05d2f7dbffd1cccce49dbc3626eaeaf6 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
pluto.jl
### A Pluto.jl notebook ###
# v0.12.16
using Markdown
using InteractiveUtils
# ╔═╡ 7f3cb324-3c05-11eb-156b-f7cbe42681c5
begin
import DarkMode
DarkMode.Ligatures(true)
DarkMode.CSSDarkMode("lucario", darkenPluto=false)
end
# ╔═╡ aff570a2-3c05-11eb-14b3-01445b721fbc
DarkMode.Toolbox(ligatures=true)
# ╔═╡ dafbfe9c-3c05-11eb-2429-f1a1c099bbc3
# ╔═╡ Cell order:
# ╠═7f3cb324-3c05-11eb-156b-f7cbe42681c5
# ╠═aff570a2-3c05-11eb-14b3-01445b721fbc
# ╠═dafbfe9c-3c05-11eb-2429-f1a1c099bbc3
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment