According to the basic style https://mirror-api-playground.appspot.com/assets/css/base_style.css " Roboto " is the default font for Windows.
Can I use any other webfont (override Roboto)?
I am sure that the incoming player would like to change " Roboto " to " Regular Code "
Font import is not supported by the Mirror API, and Roboto is the only font available in the client.