Skip to content

Set custom CSS, like you could in a Jupyter notebook #14319

@cormullion

Description

@cormullion

In a Jupyter notebook, you could specify a font by adding some CSS to a file ~/.jupyter/custom/custom.css. This allowed users to specify a font such as JuliaMono that could correctly handle special characters, and the use of packages such as UnicodePlots.jl.

The default font (Menlo) doesn't have the necessary glyphs, and the replacement glyphs (from Apple Braille) aren't the right width:

26cdd156e807b76e076c6e79b7fc58e0a785c30e_2_579x500

It should be easy to specify the font family using CSS, allowing the display to be rendered correctly, as here in Jupyter notebook.

3926ddf4c1bd2caecf2eb3b880ad9d2b41fedc71_2_690x311

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions