diff options
Diffstat (limited to 'css')
-rw-r--r-- | css/codeq.css | 56 | ||||
-rw-r--r-- | css/codeq/hint.css | 9 |
2 files changed, 11 insertions, 54 deletions
diff --git a/css/codeq.css b/css/codeq.css index f7bab6c..cc39ad9 100644 --- a/css/codeq.css +++ b/css/codeq.css @@ -171,13 +171,13 @@ h2.group-title a.view-solutions { } /* description */ -.block.block1 { - border-bottom: 1px solid #ddd; - padding-bottom: 1em; +.block-left { + padding-left: 1em; + padding-right: 1em; } .description-container { - padding: 0.5em; + padding-bottom: 1em; } .description-container > h1 { @@ -185,15 +185,6 @@ h2.group-title a.view-solutions { font-weight: bold; } -/* hints */ -.block.block4 { - padding-bottom: 1em; -} - -.block > .hints { - padding: 0.5em 0.5em 20px 0.5em; -} - /* code_editor */ .block.block2 { padding-top: 3em; /* padding-top = 2*block-toolbar.padding + .btn.height */ @@ -419,40 +410,6 @@ h2.group-title a.view-solutions { 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%; @@ -476,11 +433,6 @@ h2.group-title a.view-solutions { /* 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; diff --git a/css/codeq/hint.css b/css/codeq/hint.css index 803479f..114a5d4 100644 --- a/css/codeq/hint.css +++ b/css/codeq/hint.css @@ -28,12 +28,17 @@ div.hint-static img { } div.hints > div.feedback { - border-top: 1px solid gray; + border-top: 1px solid #ddd; margin-bottom: 1.5em; margin-top: 0.5em; + opacity: 0.75; } div.hints > div.feedback:first-child { - border-top: none; + border-top: 1px solid gray; + opacity: 1; +} +div.hints > div.feedback:hover { + opacity: 1; } div.hints > div.feedback > div { |