table#sensei-tools th,table#sensei-tools td{padding:1.5em}table#sensei-tools th>div.name,table#sensei-tools td>div.name{font-weight:bold;margin-bottom:.5em}table#sensei-tools th>div.description,table#sensei-tools td>div.description{margin-bottom:.5em}table#sensei-tools th>div.notice,table#sensei-tools td>div.notice{margin-bottom:0}