pre{font-family:sans-serif}dt{font-weight:bolder}dd{margin-bottom:.2em}dd p{margin-top:0 !important;margin-left:1em !important}table{font-size:.8em;margin:.9em auto;line-height:1.2em}table td{padding:.2em .3em}table th{padding:.3em .3em;text-decoration:underline}