#tab_editor {
    box-sizing: border-box;
}