cvsdist 3cbd43b
cvsdist 3cbd43b
p { margin-left: 0.4em; margin-right: 0.4em; }
cvsdist 3cbd43b
cvsdist 3cbd43b
pre.programlisting { 
cvsdist 3cbd43b
	background-color: #dddddd;
cvsdist 3cbd43b
	margin-left: 0.6em; margin-right: 1em;
cvsdist 3cbd43b
	padding: 0.3em; width: 50em;
cvsdist 3cbd43b
}
cvsdist 3cbd43b
cvsdist 3cbd43b
h1.title { border-bottom: solid #cc3333; }
cvsdist 3cbd43b
cvsdist 3cbd43b
div.toc { 
cvsdist 3cbd43b
	border-right: thin solid #cc3333;
cvsdist 3cbd43b
	}
cvsdist 3cbd43b
cvsdist 3cbd43b
h2 { border-top: thin solid #cc3333;
cvsdist 3cbd43b
     padding-top: 1em; }
cvsdist 3cbd43b