button i.fa-spin { display: none; } .editor { height: 100%; width: 100%; } /* this class is used for the edit view of an exercise. It needs the height set, as it does not automatically resize */ .edit-frame { height: 400px; audio, img, video { max-width: 100%; } } .frame { display: none; min-height: 300px; audio, img, video { max-width: 100%; } } .score { display: none; vertical-align: bottom; } #development-environment { display: none; } #dummy { display: none; } #editor-buttons { background-color: #008CBA; margin-top: 0; width: 100%; display: flex; button, .btn-group { flex-grow: 1; } .btn-group { button { width: 75%; } button.dropdown-toggle { width: 25%; } } } #files { overflow: auto; } #outputInformation { #output { max-height: 500px; width: 100%; overflow: auto; margin: 2em 0; p { margin: 0.5em; } pre + pre { margin-top: 1em; } } } #results { display: none; } #statusbar{ visibility: hidden; margin-top: .2em; height: 1.6em; color: #777; font-size: 0.8em; } #turtlecanvas{ border-style:solid; border-width:thin; display: block; margin: auto; } .sidebar-col-collapsed { -webkit-transition: width .2s; transition: width .2s; width:67px; float:left; min-height: 1px; padding-left: 15px; padding-right: 15px; } .sidebar-col { -webkit-transition: width .2s; transition: width .2s; width:20%; float:left; min-height: 1px; padding-left: 15px; padding-right: 15px; } .editor-col { min-height: 1px; width:auto; height:100%; overflow:hidden; } .output-col { -webkit-transition: width .2s; transition: width .2s; width:40%; float:right; min-height: 1px; padding-left: 15px; padding-right: 15px; box-sizing: border-box; margin-left: auto; } .output-col-collapsed { -webkit-transition: width .2s; transition: width .2s; width:67px; float:right; min-height: 1px; padding-left: 15px; padding-right: 15px; box-sizing: border-box; margin-left: auto; } .error_messages_list { list-style-type: disc; padding-inline-start: 1.25rem; white-space: pre-wrap; } .single_error_message { list-style-type: none; padding-inline-start: 0; white-space: pre-wrap; } .enforce-top-margin { margin-top: 5px !important; } .enforce-right-margin { margin-right: 10px !important; } .description-card-collapsed { height: 0px; visibility: hidden; } .description-card { height: auto; visibility: visible; } .enforce-big-top-margin { margin-top: 15px !important; } .enforce-bottom-margin { margin-bottom: 5px !important; } #error-hints { display: none; background-color: #FAFAFA; .heading { font-weight: bold; font-size: larger; } ul.body { li.hint { .description { font-style: italic; } .hint {} } } }