Reduce default code-mirror font size
Reduce default code-mirror font size

JuliaPackageMirrors/Escher.jl,CLUSTERfoo/Escher.jl,CLUSTERfoo/Escher.jl,JuliaPackageMirrors/Escher.jl,MichaeLeroy/Escher.jl,MichaeLeroy/Escher.jl