I like dark themes. However, the default theme of Jupyter notebooks is light, and I can't find the option