body { padding-top: 50px; } .title { /*color: whitesmoke;*/ margin-left: 5px; } /* form-signin */ .form-signin { max-width: 330px; padding: 15px; margin: 0 auto; } .form-signin .form-signin-heading, .form-signin .checkbox { margin-bottom: 10px; } .form-signin .checkbox { font-weight: normal; } .form-signin .form-control { position: relative; height: auto; -webkit-box-sizing: border-box; -moz-box-sizing: border-box; box-sizing: border-box; padding: 10px; font-size: 16px; } .form-signin .form-control:focus { z-index: 2; } .form-signin input[type="text"] { margin-bottom: -1px; border-bottom-right-radius: 0; border-bottom-left-radius: 0; } .form-signin input[type="password"] { margin-bottom: 10px; border-top-left-radius: 0; border-top-right-radius: 0; } /* 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 code*/ .block { border-right: 1px solid #e5e5e5; border-bottom: 1px solid #e5e5e5; padding: 0; min-height: 4em; } .block-label { color: grey; position: absolute; z-index: 60; opacity: .7; right: 1em; bottom: 0.25em; margin: 0; width: 150px; text-transform: uppercase; font-size: large; text-align: right; } /* block-toolbar */ #block-toolbar { position: absolute; width:100%; margin-bottom: 0px; border: 0; } /**** 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; } /***** 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%; } } /* 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%; } } /* sm */ @media (min-width: 768px) and (max-width: 991px) { } /* xs */ @media (max-width: 767px) { } /***** blocks *****/ /* description */ .block > .description { padding: 0.5em; } /* info */ .block > .hints { padding: 0.5em; } /* code_editor */ .block > .code_editor { min-height: 100%; height: 100%; } /* console */ .block > .console { background: black; font-size: 14px; height: 100%; overflow-y: auto; padding: 0; } /* 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 #DDD; font-family: monospace; padding: 1px 4px; text-align: right; } /***** helpers *****/ /* webkit-scrollbar */ ::-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); } /* status bar */ ul.dropdown-menu a { cursor: pointer; } .lang-selection ul.dropdown-menu { min-width: 4em; } /* main screen */ #screen_language a { cursor: pointer; } /* problem index screen */ #screen_problem .language-problems a { cursor: pointer; }