body {
    padding-bottom: 70px;
}
nav.navbar {
    border-radius: 0px;
}
.errorBlock {
    border-radius: 4px;
    padding: 10px;
}


/*** Forms ***/

.code-editor { 
    position: relative;
    min-height: 500px; 
}

.permissionCheckbox {
    width: 20px;
    height: 20px;
}