.button-column{width:1px;min-width:1px}div.jsoneditor-menu{background-color:initial;border-bottom:none}