/* 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, #screen_settings, #screen_upgrade_to_aai { padding: 15px 0; } /* screen language */ #screen_language { margin-top: 20px; margin-bottom: 20px; } #screen_language .col-lg-4 { cursor: pointer; } #screen_language .col-lg-4 a { color: inherit; text-decoration: none; } /* screen about*/ .about-logos { text-align: center; height: 6em; margin: 1em 0 1em 0; } .about-logos div { height: 100%; /* set on element if more logos in line */ display: inline-block; position: relative; } .about-logos div img { max-height: 100%; max-width: 100%; top: 50%; left: 50%; transform: translate(-50%,-50%); -webkit-transform:translate(-50%,-50%); position: absolute; } div.vertical-line{ height: 100%; width: 0px; border: 0; border-left: 1px solid #eee; margin: 0 1% 0 1%; } /* 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; padding-bottom: 1em; } /* hints */ .block > .hints { padding: 0.5em 0.5em 20px 0.5em; } .block.block4 { padding-bottom: 1em; } /* code_editor */ .block > .code_editor { min-height: 8em; } .block.block2 { padding-top: 51px; padding-bottom: 21px; } /* console */ .block > .console { background: #222; font-size: 14px; padding: 0.5em; min-height: 8em; } .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; } /* robot connection & sensor info */ #screen_robot .block3 .status { background-color: #666; border: 1px solid #444; color: yellow; font-family: monospace; padding: 0.5em; position: absolute; top: 1em; right: 1em; } /* 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: 1.5em; padding-right: 1.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%; } /* prolog */ /* 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%; } /* python */ /* 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%; } /* robot */ /* code_editor */ .line-layout#screen_robot .block.block2 { min-height: 100%; height: 100%; min-width: 50%; width: 50%; } /* console */ .line-layout#screen_robot .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%; } /* prolog */ .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%; } /* python */ .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%; } /* robot */ .quadrants.square-layout#screen_robot.prof2 > * > .block { overflow: auto; min-height: 100%; height: 100%; } /* instructions+hints */ .square-layout#screen_robot .block-left { min-width: 33%; width: 33%; } /* code_editor + console */ .square-layout#screen_robot .block-right { min-width: 67%; width: 67%; } /* code_editor */ .square-layout#screen_robot .block.block2 { min-height: 50%; height: 50%; min-width: 100%; width: 100%; } /* console */ .square-layout#screen_robot .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; } /* prolog */ #screen_prolog .block.block1 { min-height: 50%; height: 50%; border-right: 0; } /* hints */ #screen_prolog .block.block4 { min-height: 50%; height: 50%; } /* python */ #screen_python .block.block1 { min-height: 50%; height: 50%; border-right: 0; } /* hints */ #screen_python .block.block4 { min-height: 50%; height: 50%; } /* robot */ #screen_robot .block.block1 { min-height: 50%; height: 50%; border-right: 0; } /* hints */ #screen_robot .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; } /*layout selection is disable on small screens*/ #gui_layout_select_form_group { display: none; } } /***** 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-description { margin-bottom: 1em; } #screen_problem_list .group-description { margin-bottom: 0.5em; } #screen_problem_list h2 { font-size: 1.4em; font-weight: bold; } #screen_problem_list ul.group-problems { padding-left: 1em; } #screen_problem_list ul.group-problems li { list-style-type: none; } #screen_problem_list a { cursor: pointer; } #screen_problem_list .group-problems a.attempted::after { color: orange; content: ' ●'; } #screen_problem_list .group-problems a.solved::after { color: green; content: ' ✔'; }