mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-14 05:45:37 +00:00
Use user's pref for monospace font in HTML source, b=76191, r=bzbarsky, sr=kin
This commit is contained in:
parent
76789736de
commit
47fa1663fb
@ -43,7 +43,7 @@
|
||||
/* Multiline textarea for HTML source editing */
|
||||
#content-source, #doctype-text
|
||||
{
|
||||
font-family : monospace;
|
||||
font-family : -moz-fixed, monospace;
|
||||
font-size : larger;
|
||||
}
|
||||
|
||||
|
@ -43,7 +43,7 @@
|
||||
/* Multiline textarea for HTML source editing */
|
||||
#content-source, #doctype-text
|
||||
{
|
||||
font-family : monospace;
|
||||
font-family : -moz-fixed, monospace;
|
||||
font-size : larger;
|
||||
}
|
||||
|
||||
|
@ -43,7 +43,7 @@
|
||||
/* Multiline textarea for HTML source editing */
|
||||
#content-source, #doctype-text
|
||||
{
|
||||
font-family : monospace;
|
||||
font-family : -moz-fixed, monospace;
|
||||
font-size : larger;
|
||||
}
|
||||
|
||||
|
@ -45,6 +45,6 @@
|
||||
|
||||
/* Multiline textarea for HTML source editing */
|
||||
#content-source, #doctype-text {
|
||||
font-family : monospace;
|
||||
font-family : -moz-fixed, monospace;
|
||||
font-size : larger;
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user