@CHARSET "UTF-8";div#index h3{margin:5px 0 5px;}div#text h3{margin:5px 0 10px;border-bottom:1px solid #666;padding-bottom:2px;}h4{margin-top:5px;}ol{padding-left:35px;}div#index ol li{padding-bottom:3px;}div#text ol li{padding-bottom:20px;}div#text ol li p{margin-bottom:5px;}div#text ol li ul{padding:2px 40px 0;margin-bottom:15px;}div#text ol li ul li{padding:0;}div.related{margin:15px 0 0;}div#text ol li div.related ol{padding-left:50px;margin-top:3px;}div#text ol li div.related ol li{padding-bottom:3px;}