body { font: sans-serif; }
p {	margin-top: 6px; }

h1 { margin-top: 12px; margin-bottom: 0px; }

h2 { margin-top: 12px; margin-bottom: 0px; }

h3 { margin-top: 12px; margin-bottom: 0px; }

dt { font-weight: bold; margin-bottom: 3px; }

dd { margin-bottom: 6px; }

li { margin-top: 6px; }

pre { margin-left: 12px; margin-bottom: 0px; }