\def\opentables{\HD(10pt;2pt)} \def\boxedtables{\HD(+3pt;+1pt)} \rm