"gnugrep -2 -r --inc=\*.ijs monospace $J/system" in J -- quite some feat!
> +--------------------------------------------------------+
> |PC_FONTFAMILY=: '"courier new","courier","monospace"' |
> +--------------------------------------------------------+
D'oh -- this rings a bell! I had hunted that down in another context
already. Back then it was because box chars didn't align properly
on my OSX browsers. And now I *also* remember that there is quite some
flexibility how browsers can map this spec into some specific font.
Thanks Dan, I can take it from here.
Martin
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
