h1                   { margin-top: 0; }
h3                   { margin-bottom: 2px; }
p                    { margin: 0 0 10px 0; }
p.no-margin          { margin: 0; }
p.code               { font-size: 12px; font-family: "Courier New", Courier, monospace; }
div.checkbox_replace { float: left; }
div.radio_replace    { float: left; }
label                { margin-left: 10px; }