div.title{font-size:100%;color:green}div.contents{margin:5px 0 5px 0}div.subtitle{font-size:90%}div.hinttable{margin:5px 0 0 20px}table th,td{font-size:90%;text-align:left;vertical-align:top}table th{white-space:nowrap;padding:0 10px 0 0}div.navi{font-size:100%;margin:5px 0 15px 0}