| 2011-07-13 17:41:49 |
Paul Sladen |
description |
Jorge Castro and Dustin Kirkland suggested that Ubuntu Mono could be used as the default font in 'ajaxterm'; an in-browser terminal; which is used for #ubuntu-classroom follow-along demos amongst other things.
Kirkland notes that changing the CSS font-colours was easy, but that "Ubuntu Mono" probably needs to be on Google Web Fonts before it can be deployed as a web-font. |
Jorge Castro and Dustin Kirkland suggested that Ubuntu Mono could be used as the default font in 'ajaxterm'; an in-browser terminal; which is used for #ubuntu-classroom follow-along demos amongst other things.
Kirkland notes that changing the CSS font-colours was easy, but that "Ubuntu Mono" probably needs to be on Google Web Fonts before it can be deployed as a web-font.
In the mean-time it is possible to set:
font-family: UbuntuBeta Mono, Ubuntu Mono, monospace;
in the CSS for the ~1,400 people who currently have the UbuntuBeta Mono installed. |
|
