//
// control scripts for left panel format selection
//
// depends on wt_content.js