Custom themes

Custom Themes

Using default themes and adding your themes.

Default Themes

There are only two themes by default - dark (default) and light (light).
The selected theme is default.

To change the theme, you just need to call the following procedure:

changeTheme("light")

Adding Theme

Adding a theme is a little tricky. You must prescribe the required colors.

addTheme(newTheme(
  "default", {
    "background"     : Color("#181527"),
    "background_deep": Color("#131022"),
    "accent"         : Color("#cb8ea3"),
    "accent_dark"    : Color("#9a4488"),
    "foreground"     : Color("#d8d3ec"),
    "url_color"      : Color("#582af2"),
    "..."            : Color(...)
  }.toTable()))

The color names listed above should appear in your theme.

You can also refer to any theme color at any time:

current_theme~background