[Themes] Can I make the prompt bold?

[adastx]

prompt {
  text-color: @red;
  // can I make this bold?
}

[DaveDavenport]

Select bold variant of font should work:

prompt { font: "mono bold 12"; }

[adastx]

Thank you!