configuration {
  font:  "JetBrainsMono Nerd Font Mono 12";
  theme: "Monokai";
}