mozilla
/
pjs
зеркало из https://github.com/mozilla/pjs.git
1
0
Форкнуть 0
Код Задачи Пакеты Проекты Релизы Вики Активность

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

This commit is contained in:
rickg%netscape.com 1999-10-21 20:34:02 +00:00
Родитель 3c786ac0a1
Коммит 78febf230b
2 изменённых файлов: 2 добавлений и 2 удалений
Показать статистику Скачать Patch файл Скачать Diff файл Показать все файлы Свернуть все файлы

2
layout/html/document/src/html.css
Просмотреть файл

@ -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;}
viewsource|viewsource { font-family: monospace; font-weight:normal; color:black; white-space:pre; font-size:9pt;}
viewsource|txt {font-weight: normal; }

2
layout/style/html.css
Просмотреть файл

@ -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;}
viewsource|viewsource { font-family: monospace; font-weight:normal; color:black; white-space:pre; font-size:9pt;}
viewsource|txt {font-weight: normal; }