Public bug reported:
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.
** Affects: ubuntu-branding
Importance: Undecided
Status: New
** Affects: ubuntu-font-family
Importance: Undecided
Status: New
** Affects: ajaxterm (Ubuntu)
Importance: Undecided
Status: New
** Also affects: ajaxterm (Ubuntu)
Importance: Undecided
Status: New
** Also affects: ubuntu-branding
Importance: Undecided
Status: New
** Description changed:
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.
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/810034
Title:
Deploy Ubuntu Mono as preferred font-family in ajaxterm
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu-branding/+bug/810034/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
