/*.codebuilderide_workspace_container {
    padding: 0;
}*/

#codebuilderide_workspace_blockly {
    height: 700px;
}

#js-code-editor,
#python-code-editor {
    position: relative;
    height: 720px;
    z-index: 5;
}

.tab-content {
    padding-top: 0;
}

.codebug_colour_tail_type_radios {
    margin-left: 20px;
}

.workspace-controls-list {
    margin-bottom: 0;
}