#article table { margin-top:0; }
#article td { padding: 0; border-top:none; border-bottom: none;}
#cover .red { color: crimson; font-weight: bold; }
#cover p.first { margin-top: 0 !important; }
#cover div.right { margin-left: 0 !important; }
#cover .frame { padding: 1px; border: 1px solid #ddd; }
div.intro div img { padding: 2px; border: 1px solid #dddddd; }
div#cover p { line-height: 1.6em; }
#cover dl { line-height:1.4em; }
#cover dl dt { padding-left: 1em; float: left; width: 360px; font-weight: bold; }
#cover dl dd { float: right; padding-right: 190px; }
#cover h3 { margin: 0.5em 0; font-size: 110%; padding-left: 0; font-weight:bold; border:none; }
#cover h3 span { font-size: 73%; }
#cover td {border-bottom: none; }