@import "base_old.css";
@import "font_1.css";

#estinfo{color:#888;font-size:10px;}
#estinfo a{color:#666;}

#estresult{margin:10px 200px 10px 30px;max-width:50em;}

.resinfo{padding:10px 0;color:#333;}
.resinfo strong{font-weight:110%;color:#000;}

dl.doc{clear:both;border-bottom:1px solid #ccc;padding-bottom:10px;margin-bottom:10px;}
dl.doc dt{clear:both;padding-bottom:5px;}
dl.doc .doc_title{font-size:120%;line-height:125%;}
dl.doc dd.doc_text{line-height:125%;font-size:90%;color:#333;}
dl.doc dd.doc_navi{clear:both;padding:5px 0 0 0;color:#666;}
dl.doc dd.doc_attr{color:#666;}

code.delim{font-family:sans-serif;color:#666;}

.paging{clear:both;padding:15px;text-align:center;}
.paging .pnow{padding-left:15px;font-weight:bold;}
.paging a.pnum,
.paging a.navi{padding-left:15px;}
.void{color:#666;}