* Style tweaks.

This commit is contained in:
Eelco Dolstra 2006-10-04 08:14:35 +00:00
parent 96fa456a0a
commit bd4f1b4bb8

View file

@ -65,22 +65,21 @@ div.refsection h3
/*************************************************************************** /***************************************************************************
Program listings: Examples:
***************************************************************************/ ***************************************************************************/
div.example div.example
{ {
border: 1px solid #6185a0; border: 1px solid #6185a0;
padding: 6px 6px; padding: 6px 6px;
margin-left: 0em; margin-left: 1.5em;
margin-right: 0em; margin-right: 1.5em;
background: #f4f4f8; background: #f4f4f8;
} }
pre.programlisting div.example p.title
{ {
color: #600000; margin-top: 0em;
font-family: monospace;
} }
@ -100,6 +99,13 @@ pre.screen, pre.programlisting
/* font-size: 90%; */ /* font-size: 90%; */
} }
div.example pre.programlisting
{
border: 0px;
padding: 0 0;
margin: 0 0 0 0;
}
/*************************************************************************** /***************************************************************************
Notes, warnings etc: Notes, warnings etc: