CSS: IPython custom CSS for dark theme