Use monospace font for HTML source, b=76191, r=hwaara, sr=kin

This commit is contained in:
cmanske%netscape.com 2001-04-28 02:33:37 +00:00
Родитель 2ecf799585
Коммит a8372cbd3c
4 изменённых файлов: 26 добавлений и 0 удалений

Просмотреть файл

@ -40,6 +40,13 @@
padding: 5px 0px 0px 5px;
}
/* Multiline textarea for HTML source editing */
#content-source, #doctype-text
{
font-family : monospace;
font-size : larger;
}
#appcontent
{
border-left : 1px solid ThreeDShadow;

Просмотреть файл

@ -40,6 +40,13 @@
padding: 5px 0px 0px 5px;
}
/* Multiline textarea for HTML source editing */
#content-source, #doctype-text
{
font-family : monospace;
font-size : larger;
}
#appcontent
{
border-top : 1px solid #000000;

Просмотреть файл

@ -40,6 +40,13 @@
padding: 5px 0px 0px 5px;
}
/* Multiline textarea for HTML source editing */
#content-source, #doctype-text
{
font-family : monospace;
font-size : larger;
}
#appcontent
{
border-left : 1px solid ThreeDShadow;

Просмотреть файл

@ -43,3 +43,8 @@
padding: 5px 0px 0px 5px;
}
/* Multiline textarea for HTML source editing */
#content-source, #doctype-text {
font-family : monospace;
font-size : larger;
}