/* This sacrifices some looks to fit a little more into the screen.
 * @author Brad Mace
 * @version 1.1
*/
UIManager.put("ScrollBar.width",new Integer(12));
UIManager.put("SplitPane.dividerSize",new Integer(5));
UIManager.put("TabbedPane.textIconGap",new Integer(2));
// padding inside individual tabs
UIManager.put("TabbedPane.tabInsets",new Insets(1,2,-3,-1));
// padding around area containing all tabs
UIManager.put("TabbedPane.tabAreaInsets",new Insets(0,0,0,0));
// Font size in tabs
UIManager.put("TabbedPane.font",((Font) UIManager.get("TabbedPane.font")).deriveFont((float) 10));UIManager.put("Tree.rowHeight",new Integer(14));
UIManager.put("Table.font",((Font) UIManager.get("Table.font")).deriveFont((float) 10));
UIManager.put("Tree.leftChildIndent",new Integer(3));
// How far child nodes are indented
UIManager.put("Tree.rightChildIndent",new Integer(10));
UIManager.put("Tree.rowHeight",new Integer(18));
// Font size in trees
UIManager.put("Tree.font",((Font) UIManager.get("Tree.font")).deriveFont((float) 10));
// Turners or +/- icons
UIManager.put("Tree.collapsedIcon",null);
UIManager.put("Tree.expandedIcon",null);