Anonymous user
Talk:Flatten a list: Difference between revisions
m
→Line drawing in web browsers (J solution)
Line 44:
:::: I have no idea whether there are such fonts. Windows itself comes with Lucida Console, Courier New and Consolas (as well as a bunch of CJK fonts which are not really meant to be used in Latin-only contexts [at least, judging from the looks of their Latin glyphs]). Linux and similar systems tend to have fonts with quite creative names, such as Mono, Sans or Serif – I have no clue whether that are the actual names of the typefaces or merely aliases for fonts one actually might know.
:::: In any case, you can list a number of typefaces in decreasing order of preference which is pretty common practice. The keyword "monospaced" refers to a non-specific (user-defined) monospaced font (which is what's currently used, apparently – either intentionally or just by not redefining <code>font-family</code> on <code><pre></code> – but that runs into the problem with Lucida Console at least with IE on Windows). So you could, theoretically, give a long list of fonts that are known to work and present on most, if not all systems. Downloadable fonts (WOFF, EOT, etc.) may be a last resort option but for a single language probably way overkill. Another possibility would be to tweak J syntax highlighting that numbers in boxes are no longer rendered in boldface. —[[User:Hypftier|Johannes Rössel]] 20:53, 3 June 2010 (UTC)
| |||