.list {list-style:square;width:500px;padding-left:16px;}
.list li{padding:2px;font-size:8pt;}

/* hide the tab content while loading */
.tab-content{display:none;}

pre {
   font-size:11px; 
}

#tabs1 {width:600px;}
#tabs1 .yui-ext-tabbody {border:1px solid #999;border-top:none;}
#tabs1 .yui-ext-tabitembody {display:none;padding:10px;}

#tabs2 {width:600px;}
#tabs2 .yui-ext-tabbody {border:1px solid #999;border-top:none;}
#tabs2 .yui-ext-tabitembody {display:none;padding:10px;}

#tabs3 {width:600px;}
#tabs3 .yui-ext-tabbody {border:1px solid #999;border-top:none;}
#tabs3 .yui-ext-tabitembody {display:none;padding:10px;}