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

Make the JS console use a monospace font. Bug 124332, patch by 

neil@parkwaycc.co.uk, r=bzbarsky, sr=hewitt
This commit is contained in:
bzbarsky%mit.edu 2002-07-03 06:35:48 +00:00
Родитель 0336fa5e81
Коммит 4890c2a334
1 изменённых файлов: 5 добавлений и 1 удалений
Показать статистику Скачать Patch файл Скачать Diff файл Показать все файлы Свернуть все файлы

6
themes/modern/global/formatting.css
Просмотреть файл

@ -166,6 +166,10 @@ label[disabled="true"] {
font-weight: bold; font-weight: bold;
} }
.monospace {
font-family: monospace;
}
.indent { .indent {
margin-left: 20px; margin-left: 20px;
} }
@ -185,4 +189,4 @@ label[disabled="true"] {
.wizard-box { .wizard-box {
padding: 20px 44px 10px 44px; padding: 20px 44px 10px 44px;
} }