Allow user-defined themes · Issue #2 · fonsp/Pluto.jl

From fonsi:

Pluto has no customization because it's still in the early days. I want to keep experimenting with most aspects (the project is not done!), and I feel like any kind of customization makes that more difficult.

Some subjective arguments:

• A customization doubles the amount of possible states of some area of the project. In the worst case, these areas are large, and when multiple customizable areas overlap, it becomes impossible to consider all states. The project must remain fun and easy to maintain! I am working on this in my free time!
• We have lots of difficult design problems. Instead of saying "let's make that an option", we should think hard about the best choice. Maybe both options are bad?
• Pluto is not intended for power users. The goal is to make scientific computing accessible and fun to new programmers. Experienced users already have a great time in computerland!

When the project has converged to something, it makes sense to allow customization!