Hi - would anyone know how to change the font in the verb pull-down menus? I'd like to be able to change it to a font which isn't available in setting the game's verb menu on the display screen. Thanks in advance for any help much appreciated!

  msg ("<style> .jjmenu { font-family: 'Some font name'; }</style>")