mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-11-25 22:01:30 +00:00
Make font size in HTML source = user's fixed-width size set in prefs. b=114022, r=rbs, sr=alecf+kin, a=asa/drivers
This commit is contained in:
parent
0c103987d8
commit
0cd19ceb54
@ -49,6 +49,7 @@
|
||||
#content-source,
|
||||
#doctype-text {
|
||||
font-family: -moz-fixed;
|
||||
font-size: -moz-initial;
|
||||
}
|
||||
|
||||
#appcontent {
|
||||
@ -62,4 +63,3 @@
|
||||
border-right: 1px solid ThreeDLightShadow;
|
||||
}
|
||||
|
||||
|
||||
|
@ -60,5 +60,6 @@
|
||||
/* Multiline textarea for HTML source editing */
|
||||
#content-source, #doctype-text {
|
||||
font-family : -moz-fixed;
|
||||
font-size: -moz-initial;
|
||||
}
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user