);

    var sizeMenu = new goog.ui.Select(null);
    sizeMenu.setId('Font Size Menu');
    sizeMenu.setTooltip('Font Size');
    sizeMenu.addItem(new goog.ui.Option('8pt'));
    sizeMenu.addItem(new goog.ui.Option('10pt'));
    sizeMenu.addItem(new goog.ui.Option('12pt'));
    sizeMenu.addItem(new goog.ui.Option('16pt'));
    sizeMenu.setSelectedIndex(1);
    sizeMenu.addClassName('goog-edit-font-size');
    tb.addChild(sizeMenu, true);

    var boldButton = new goog.ui.ToggleButton(goog.dom.createDom(goog.