Magic-Mirror/gecko-dev
1
0
Fork 0
mirror of https://github.com/mozilla/gecko-dev.git synced 2024-10-11 04:15:43 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

changed default font-size for viewsource; r=none;

Browse Source
This commit is contained in:
rickg%netscape.com 1999-10-21 21:05:17 +00:00
parent 8741adeb58
commit 58f36b6e55
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
layout/html/document/src/html.css
View File

@ -1538,7 +1538,7 @@ viewsource|end {color: purple; font-weight:bold;}
viewsource|end:before {content: "</"; color: black;}
viewsource|end:after {content: ">"; color: black;}
viewsource|viewsource { font-family: monospace; font-weight:normal; color:black; white-space:pre; font-size:9pt;}
viewsource|viewsource { font-family: monospace; font-weight:normal; color:black; white-space:pre; font-size:10pt;}
viewsource|txt {font-weight: normal; }

2
layout/style/html.css
View File

@ -1538,7 +1538,7 @@ viewsource|end {color: purple; font-weight:bold;}
viewsource|end:before {content: "</"; color: black;}
viewsource|end:after {content: ">"; color: black;}
viewsource|viewsource { font-family: monospace; font-weight:normal; color:black; white-space:pre; font-size:9pt;}
viewsource|viewsource { font-family: monospace; font-weight:normal; color:black; white-space:pre; font-size:10pt;}
viewsource|txt {font-weight: normal; }