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

Bug 76531: "view source uses hard-coded pixel font size", author=Boris Zbarsky <bzbarsky@mit.edu>, r=rbs@maths.uq.edu.au, sr=attinasi

This commit is contained in:
disttsc%bart.nl 2001-04-26 10:09:06 +00:00
Родитель a16cd855af
Коммит c92554e774
2 изменённых файлов: 4 добавлений и 8 удалений
Показать статистику Скачать Patch файл Скачать Diff файл Показать все файлы Свернуть все файлы

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

@ -26,13 +26,11 @@ html {
background-color: window; background-color: window;
} }
.viewsource { .viewsource {
font-family: monospace; font-family: -moz-fixed;
font-weight: normal; font-weight: normal;
font-size: normal;
color: windowtext; color: windowtext;
white-space: pre; white-space: pre;
font-size: 12px;
padding-top: 8px;
margin-left: 8px;
} }
.start-tag { .start-tag {
color: purple; color: purple;

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

@ -26,13 +26,11 @@ html {
background-color: window; background-color: window;
} }
.viewsource { .viewsource {
font-family: monospace; font-family: -moz-fixed;
font-weight: normal; font-weight: normal;
font-size: normal;
color: windowtext; color: windowtext;
white-space: pre; white-space: pre;
font-size: 12px;
padding-top: 8px;
margin-left: 8px;
} }
.start-tag { .start-tag {
color: purple; color: purple;