Render 'screen' element the same way as 'programlisting'.

[SVN r22502]
This commit is contained in:
Vladimir Prus 2004-03-15 08:09:10 +00:00
parent 826cbec1b9
commit 07d553d16f

View file

@ -21,7 +21,7 @@ th
margin-bottom: 0pc;
}
div pre.programlisting, .refsynopsisdiv
div pre.programlisting, .refsynopsisdiv, pre.screen
{
margin-left: 3pc;
margin-right: 3pc;
@ -66,7 +66,7 @@ div pre.programlisting, .refsynopsisdiv
background-color: #DDD;
}
.programlisting, .table-programlisting
.programlisting, .table-programlisting, .screen
{
background-color: #EED;
border: 0.2em ridge #EED;