/* 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; } /* modal screens*/ #screen_login, #screen_signup, #screen_change_pass { padding: 15px 0; } /* 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) { .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; }