/* We use http://getbootstrap.com/ for ground HTML and CSS styling. RTFM! General settings apply to all resolutions. Put special viewport size settings inside @emedia queries. */ body { padding-top: 50px; } .title { /*color: whitesmoke;*/ /*margin-left: 5px;*/ } /* brand */ .navbar-brand { padding: 7px 15px; /*adjust the top/bottom padding if your logo looks too small */ margin-top: 0; /* you can adjust this if your logo needs to be moved up or down but simply adjusting the padding is easier */ height: 50px; /* this should be equal to computed height of .navbar-nav>li>a */ } .navbar-brand>img { -o-object-fit: contain; /* Opera Support */ object-fit: contain; /* Resize down to fit container */ max-height: 100%; /* resize DOWN to height of container which is set to 50px */ height: 100%; /* resize UP to fit*/ max-width: 100%; width: auto; /* resize based on height */ margin: 0 auto; } /* modalLogIn */ #modalLogIn{ min-width: 250px; padding: 14px 14px 0; overflow:hidden; background-color:rgba(255,255,255,.8); } #modalLogIn .help-block{ font-size:12px } #modalLogIn .bottom{ background-color:rgba(255,255,255,.8); border-top:1px solid #ddd; clear:both; padding:14px; } #modalLogIn .ssa-buttons{ margin-bottom: 1em; } #modalLogIn .form-group { margin-bottom: 10px; } /* screen language */ #screen_language { margin-top: 20px; margin-bottom: 20px; } #screen_language .col-lg-4 { cursor: pointer; } /* screen problems*/ .block { /*border-right: 1px solid #e5e5e5; border-bottom: 1px solid #e5e5e5;*/ padding: 0; min-height: 4em; overflow: hidden; } /* description */ .block > .description-container { padding: 0.5em 0.5em 20px 0.5em; } .block.block1 { border-bottom: 1px solid #ddd; } /* hints */ .block > .hints { padding: 0.5em 0.5em 20px 0.5em; } /* code_editor */ .block > .code_editor { } .block.block2 { padding-top: 51px; padding-bottom: 21px; } /* console */ .block > .console { background: black; font-size: 14px; padding: 0; min-height: 4em; } .block-label { color: grey; position: absolute; z-index: 60; opacity: .7; right: 0.75em; /*bottom: 0.25em;*/ bottom: 0; margin: 0; width: 150px; text-transform: uppercase; /*font-size: large;*/ text-align: right; } .block-statusbar { min-height: 20px; position: absolute; bottom: 0; left: 0; right: 0; background-color: #F7F7F7; border-top: 1px solid #DDD; /*font-family: monospace;*/ opacity: .7; text-align: left; padding: 0 4px; } /* block-toolbar */ .block-toolbar { position: absolute; right: 0; left: 0; top: 0; border:0; border-bottom: 1px solid #e5e5e5; background-color: #F7F7F7; } /*CodeMirror for mobile design*/ .CodeMirror { height: auto; } .CodeMirror-scroll { height: auto; } /**** animations *****/ .transition, .quadrants > * > .block { /*-moz-transition: all 1s ease; -webkit-transition: all 1s ease; -o-transition: all 1s ease; -ms-transition: all 1s ease; transition: all 1s ease;*/ } .block > .scrollable-content-container { padding-left: 0.5em; padding-right: 0.5em; } /***** responsiveness *****/ /* lg */ @media (min-width: 1200px) { /*html, body, #gui, #block-row { height: 100%; }*/ /* default for all quadrants (no focus anywhere) */ /*.quadrants > * > .block { overflow: auto; min-height: 100%; height: 100%; }*/ /* code_editor */ /*#screen_prolog .block.block2 { min-height: 100%; height: 100%; }*/ /* console */ /*#screen_prolog .block.block3 { min-height: 100%; height: 100%; }*/ /* code_editor */ /*#screen_python .block.block2 { min-height: 100%; height: 100%; }*/ /* console */ /*#screen_python .block.block3 { min-height: 100%; height: 100%; }*/ } /* md */ @media (min-width: 992px) and (max-width: 1199px) { /*html, body, #gui, #block-row { height: 100%; }*/ /* default for all quadrants (no focus anywhere) */ /*.quadrants > * > .block { overflow: auto; min-height: 50%; height: 50%; }*/ /*.quadrants#screen_prolog > * > .block { overflow: auto; min-height: 100%; height: 100%; }*/ /* code_editor */ /*#screen_prolog .block.block2 { min-height: 50%; height: 50%; }*/ /* console */ /*#screen_prolog .block.block3 { min-height: 50%; height: 50%; }*/ /*.quadrants#screen_python > * > .block { overflow: auto; min-height: 100%; height: 100%; }*/ /* code_editor */ /*#screen_python .block.block2 { min-height: 50%; height: 50%; }*/ /* console */ /*#screen_python .block.block3 { min-height: 50%; height: 50%; }*/ } /* md & ld */ @media (min-width: 992px) { /* BEGIN layouts */ /*~~ line-layout ~~*/ .quadrants.line-layout > * > .block { overflow: auto; min-height: 100%; height: 100%; } /* code_editor */ .line-layout#screen_prolog .block.block2 { min-height: 100%; height: 100%; min-width: 50%; width: 50%; } /* console */ .line-layout#screen_prolog .block.block3 { min-height: 100%; height: 100%; min-width: 50%; width: 50%; } /* code_editor */ .line-layout#screen_python .block.block2 { min-height: 100%; height: 100%; min-width: 50%; width: 50%; } /* console */ .line-layout#screen_python .block.block3 { min-height: 100%; height: 100%; min-width: 50%; width: 50%; } /*~~ square-layout ~~*/ .quadrants.square-layout > * > .block:not(.block-left):not(.block-right) {/*the not-s are important here, because else the height of the surrounding divs will be set to 50% and the entire page will only be for half the screen*/ overflow: auto; min-height: 50%; height: 50%; } .quadrants.square-layout#screen_prolog > * > .block { overflow: auto; min-height: 100%; height: 100%; } /* instructions+hints */ .square-layout#screen_prolog .block-left { min-width: 33%; width: 33%; } /* code_editor + console */ .square-layout#screen_prolog .block-right { min-width: 67%; width: 67%; } /* code_editor */ .square-layout#screen_prolog .block.block2 { min-height: 50%; height: 50%; min-width: 100%; width: 100%; } /* console */ .square-layout#screen_prolog .block.block3 { min-height: 50%; height: 50%; min-width: 100%; width: 100%; } .quadrants.square-layout#screen_python.prof2 > * > .block { overflow: auto; min-height: 100%; height: 100%; } /* instructions+hints */ .square-layout#screen_python .block-left { min-width: 33%; width: 33%; } /* code_editor + console */ .square-layout#screen_python .block-right { min-width: 67%; width: 67%; } /* code_editor */ .square-layout#screen_python .block.block2 { min-height: 50%; height: 50%; min-width: 100%; width: 100%; } /* console */ .square-layout#screen_python .block.block3 { min-height: 50%; height: 50%; min-width: 100%; width: 100%; } /* END layouts */ .block-left, .block-right { min-height: 100%; height: 100%; } .block-left { border-right: 1px solid #ddd; } /* info */ .block > .scrollable-content-container { height: 100%; overflow-y: auto; } .block.block1 { border-right: 1px solid #ddd; } #screen_prolog .block.block1 { min-height: 50%; height: 50%; border-right: 0; } /* hints */ #screen_prolog .block.block4 { min-height: 50%; height: 50%; } #screen_python .block.block1 { min-height: 50%; height: 50%; border-right: 0; } /* hints */ #screen_python .block.block4 { min-height: 50%; height: 50%; } /* code_editor */ .block > .code_editor { min-height: 100%; height: 100%; } /* console */ .block > .console { height: 100%; overflow-y: auto; } .CodeMirror { height: 100%; } .CodeMirror-scroll { height: 100%; } } /* sm */ @media (min-width: 768px) and (max-width: 991px) { } /* xs */ @media (max-width: 767px) { } /* xs & sm */ @media (max-width: 991px) { /* info */ .block.block4 { border-bottom: 1px solid #ddd; } } /* codeq hints */ /* the highlighted part of the text, used in pop-up and drop-down hints */ .editor-mark { background-color: #e7c3c3; } /* the pop-up window, it is already absolutely positioned and its and positioning properties controlled from CodeMirror */ .editor-popup { background: #245269; color: #e7c3c3; border: 1px solid black; } .editor-statusbar { background-color: #F7F7F7; border-top: 1px solid #e5e5e5; font-family: monospace; padding: 1px 4px; text-align: left; } /***** helpers *****/ /** webkit-scrollbar 1 **/ /*::-webkit-scrollbar { width: 12px; } ::-webkit-scrollbar-track { -webkit-box-shadow: inset 0 0 6px rgba(0,0,0,0.3); border-radius: 10px; } ::-webkit-scrollbar-thumb { border-radius: 10px; -webkit-box-shadow: inset 0 0 6px rgba(0, 0, 0, 0.5); }*/ /** webkit-scrollbar 2**/ ::-webkit-scrollbar { width: 6px; background-color: #F5F5F5; } /* Track */ ::-webkit-scrollbar-track { background-color: #F5F5F5; } ::-webkit-scrollbar-track:hover { background: #F5F5F5; } ::-webkit-scrollbar-track:active { background: #F5F5F5; } /* Handle */ ::-webkit-scrollbar-thumb { background-color: rgba(0,0,0,0.5); } ::-webkit-scrollbar-thumb:hover { background: rgba(0,0,0,0.7); } ::-webkit-scrollbar-thumb:active { background: rgba(0,0,0,0.9); } /** special webkit-scrollbar for console **/ /* Track */ .console::-webkit-scrollbar-track { background-color: #0b0b0b; } .console::-webkit-scrollbar-track:hover { background: #0b0b0b; } .console::-webkit-scrollbar-track:active { background: #0b0b0b; } /* Handle */ .console::-webkit-scrollbar-thumb { background-color: rgba(255,255,255,0.5); } .console::-webkit-scrollbar-thumb:hover { background: rgba(255,255,255,0.7);; } .console::-webkit-scrollbar-thumb:active { background: rgba(255,255,255,0.9);; } /* status bar */ ul.dropdown-menu a { cursor: pointer; } /* main screen */ #screen_language a { cursor: pointer; } /* problem index screen */ #screen_problem_list .language-problems a { cursor: pointer; }