/* ############################## */ /* ######### Blue theme ######### */ /* ############################## */ .path-mod-vpl .vpl_ide.vpl_theme_modernblue { --vpl-interface-theme-primary: #1177d1; --vpl-interface-theme-secondary: white; --vpl-interface-theme-ternary: #5cf; --vpl-interface-theme-highlight: #4ae; } .path-mod-vpl .vpl_ide:not(.vpl_theme_default) .ui-widget-header, .path-mod-vpl .vpl_ide:not(.vpl_theme_default) .ui-button, .path-mod-vpl .vpl_ide:not(.vpl_theme_default) .ui-button:hover, .path-mod-vpl .vpl_ide:not(.vpl_theme_default) .ui-button:focus, .path-mod-vpl .vpl_ide:not(.vpl_theme_default) .vpl_ide_tabs li:not(.ui-state-active) { background-color: var(--vpl-interface-theme-primary); background-image: none; border: none; color: var(--vpl-interface-theme-secondary); } .path-mod-vpl .vpl_ide:not(.vpl_theme_default) .vpl_ide_results .ui-accordion-header { background-image: none; background-color: white; color: black; } .path-mod-vpl .vpl_ide:not(.vpl_theme_default) .vpl_ide_tabs li.ui-state-hover, .path-mod-vpl .vpl_ide:not(.vpl_theme_default) .ui-button:hover { background-color: var(--vpl-interface-theme-highlight); } .path-mod-vpl div.vpl_ide:not(.vpl_theme_default) a.ui-button, .path-mod-vpl .vpl_ide:not(.vpl_theme_default) .vpl_ide_tabs li:not(.ui-state-active) a { color: var(--vpl-interface-theme-secondary); } .path-mod-vpl .vpl_ide:not(.vpl_theme_default) #vpl_menu .ui-button i { min-width: .75em; } .path-mod-vpl .vpl_ide:not(.vpl_theme_default) .ui-corner-all, .path-mod-vpl .vpl_ide:not(.vpl_theme_default).ui-corner-all, .path-mod-vpl .vpl_ide:not(.vpl_theme_default) .ui-corner-left, .path-mod-vpl .vpl_ide:not(.vpl_theme_default) .ui-corner-right, .path-mod-vpl .vpl_ide:not(.vpl_theme_default) .ui-corner-top, .path-mod-vpl .vpl_ide:not(.vpl_theme_default) .ui-corner-bottom { border-radius: 0; } .path-mod-vpl .vpl_ide:not(.vpl_theme_default) .vpl_ide_tabs li i { color: var(--vpl-interface-theme-ternary); text-shadow: none; } .path-mod-vpl .vpl_ide:not(.vpl_theme_default) .vpl_ide_accordion_c_comments .ui-widget-header { padding: 1px 3px; -webkit-box-decoration-break: clone; box-decoration-break: clone; } .path-mod-vpl .vpl_ide:not(.vpl_theme_custom) .custom-theme-colorpicker { display: none; } .path-mod-vpl .vpl_ide .admin_colourpicker { position: relative; } .path-mod-vpl .vpl_ide .colourdialogue { cursor: crosshair; } .path-mod-vpl .vpl_ide .currentcolour { border-top-width: 1px; } .path-mod-vpl .vpl_ide .colourdialogue:not(:hover) + .previewcolour { display: none; } .path-mod-vpl .vpl_ide .previewcolour { position: absolute; z-index: 600; margin: 0; border-radius: 50px; } /* Dotted focus line removal */ .path-mod-vpl .ui-button-icon-only { outline: none; } /* ############################## */ /* ## Exit student role button ## */ /* ############################## */ .path-mod-vpl .exit-activity-student-role { cursor: pointer; padding-left: .5em; } /* ############################## */ /* ##### Submissions charts ##### */ /* ############################## */ .path-mod-vpl.pagelayout-incourse .chart-area { width: 50%; height: 50%; display: inline-block; } .path-mod-vpl.pagelayout-incourse .chart-area.nograph { text-align: center; vertical-align: top; top: 2em; position: relative; } .path-mod-vpl.pagelayout-incourse .chart-area.nograph b { font-size: .9em; } .path-mod-vpl .chart-area canvas { width: 100%; height: 100%; } /* ############################## */ /* # Submissions list highlight # */ /* ############################## */ .path-mod-vpl .gradehighlight { background-color: yellow; color: black; } /* ############################## */ /* ######### IDE styles ######### */ /* ############################## */ .path-mod-vpl .vpl_ide_root { direction: ltr; text-align: left; width: 100%; } .path-mod-vpl.vpl_body_fullscreen { overflow: hidden; } .path-mod-vpl .vpl_ide_root_fullscreen { background-color: white; height: 100%; left: 0; position: fixed; top: 0; width: 100%; z-index: 1040; } .path-mod-vpl .vpl_ide_dialog { z-index: 1049; } .path-mod-vpl #vpl_ide_dialog_about { width: 400px; height: 260px; } .path-mod-vpl #vpl_menu .ui-button-text-only, .path-mod-vpl #vpl_menu .ui-button-text { padding: 0.4em; } .path-mod-vpl .vpl_ide_menu { font-size: 110%; min-width: 340px; padding: 0.2em; } .path-mod-vpl .vpl_ide_tr { border: 0; margin: 0; min-width: 330px; padding: 0; position: relative; width: 100%; } .path-mod-vpl #vpl_filelist { display: none; left: 0; position: absolute; top: 0; } .path-mod-vpl #vpl_filelist_header { padding-left: 0.5em; } .path-mod-vpl #vpl_filelist_content { overflow: auto; padding-left: 0.5em; white-space: pre; } .path-mod-vpl .vpl_ide_dirindent { display: inline-block; width: 1.5em; } .path-mod-vpl .vpl_ide_tabs { position: absolute; top: 0; } .path-mod-vpl #vpl_tabs_scroll { overflow: auto; } .path-mod-vpl .vpl_ide_tabs li { line-height: 1ex; } .path-mod-vpl .vpl_ide_charicon { color: gray; } .path-mod-vpl .vpl_ide_closeicon { color: white; text-shadow: 1px 0 1px gray, 0 1px 1px gray, 0 -1px 1px gray, -1px 0 1px gray; } .path-mod-vpl div.vpl_ide_dialog_content { height: 250px; overflow: scroll; width: 350px; } .path-mod-vpl .vpl_ide_closeicon:hover { color: gray; cursor: pointer; text-shadow: none; } .path-mod-vpl .vpl_ide .ui-widget { font-size: 12px; } .path-mod-vpl .vpl_ide .ui-widget-content { font-size: 12px; } .path-mod-vpl .vpl_ide .ui-dialog-titlebar { font-size: 13px; padding: 0 1em 0 1em; } .path-mod-vpl .vpl_ide .ui-button { font-size: 14px; } .path-mod-vpl .ui-tabs .ui-tabs-panel { padding: 0; } /*Resolve problem with essential theme*/ .path-mod-vpl .vpl_ide_file * { font-family: 'Monaco', 'Menlo', 'Ubuntu Mono', 'Consolas', 'source-code-pro', monospace; } .path-mod-vpl .vpl_ide_file { font-family: 'Monaco', 'Menlo', 'Ubuntu Mono', 'Consolas', 'source-code-pro', monospace; margin: 2px; padding: 0; z-index: 0; } .path-mod-vpl .vpl_ide_binary { font-size: 300%; line-height: 200%; margin: auto; text-align: center; z-index: 0; } .path-mod-vpl .vpl_ide_img { overflow: auto; } .path-mod-vpl img.vpl_ide_file { display: block; height: auto; padding: 2px; width: auto; z-index: 0; } .path-mod-vpl .vpl_ide_results { height: 100%; width: 20%; min-width: 130px; position: absolute; right: 0; top: 0; } .path-mod-vpl .vpl_ide_results a { padding: 1px 2px; font-weight: bold; color: var(--primary); } .path-mod-vpl .vpl_ide_results pre { line-height: 100%; white-space: pre; word-break: normal; word-wrap: normal; } .path-mod-vpl .vpl_ide_progressbar { min-width: 100px; position: relative; } .path-mod-vpl .vpl_ide_progressbaricon { margin: 0; padding: 0; position: absolute; width: 2em; } .path-mod-vpl .vpl_ide_progressbarlabel { border: 0; display: block; font-weight: bold; margin: 0 1em 0 1em; padding: 0 1em 0 1em; text-align: center; } .path-mod-vpl .vpl_icon_repeat { left: -0.7em; position: absolute; } .path-mod-vpl .vpl_ide { font-size: 12px; } .path-mod-vpl .vpl_ide div.ui-dialog-titlebar { padding: 0.15em; } .path-mod-vpl .ace_gutter-tooltip { white-space: pre-wrap; } .path-mod-vpl .vpl_ide_accordion_c_compilation, .path-mod-vpl .vpl_ide_accordion_c_execution { font-family: 'Monaco', 'Menlo', 'Ubuntu Mono', 'Consolas', 'source-code-pro', monospace; max-width: 120em; white-space: pre; } .path-mod-vpl .vpl_ide_accordion_c_description a, .path-mod-vpl .vpl_ide_accordion_c_comments a, .path-mod-vpl .vpl_ide_accordion_c_compilation a { border-style: none; } .path-mod-vpl .vpl_vnc { position: fixed; width: auto; z-index: 1050; } .path-mod-vpl .vpl_vnc .ui-dialog-content { padding: 0; } .path-mod-vpl .vpl_noVNC_canvas { cursor: none; height: 600px; width: 800px; } .path-mod-vpl .vpl_vnc .ui-button-text-only .ui-button-text { padding: 0.15em; } .path-mod-vpl #vpl_dialog_terminal { display: none; } .path-mod-vpl .vpl_terminal { background-color: black; border: 0; margin: 0; padding: 0; z-index: 1050; } .path-mod-vpl .vpl_clipboard { display: none; z-index: 1060; } .path-mod-vpl .vpl_clipboard_label1.ui-button-text, .path-mod-vpl .vpl_clipboard_label1.ui-button-text { padding: 0.15em; } .path-mod-vpl .vpl_clipboard .vpl_clipboard_entry1, .path-mod-vpl .vpl_clipboard .vpl_clipboard_entry2 { height: 50px; width: 200px; } /*Resolve problem with essential theme*/ .path-mod-vpl pre.vpl_terminal * { border: 0; font: 1em/1.2 "Monaco", "Menlo", "Ubuntu Mono", "Consolas", "source-code-pro", monospace; margin: 0; padding: 0; } .path-mod-vpl pre.vpl_terminal { display: inline-block; font: 1em/1.2 "Monaco", "Menlo", "Ubuntu Mono", "Consolas", "source-code-pro", monospace; font-size: 12px; padding: 2px; } .path-mod-vpl .vpl_ide .vpl_ide_menu #vpl_ide_timeleft.vpl_timeleft_medium, .path-mod-vpl .vpl_ide .vpl_ide_menu #vpl_ide_timeleft.vpl_timeleft_critical, .path-mod-vpl .vpl_ide .vpl_ide_menu #vpl_ide_timeleft.vpl_timeleft_over { background-image: none; color: white; font-weight: bold; } .path-mod-vpl .vpl_ide .vpl_ide_menu .vpl_timeleft_medium, .path-mod-vpl .vpl_ide .vpl_ide_menu .vpl_timeleft_medium:focus { background-color: orange; } .path-mod-vpl .vpl_ide .vpl_ide_menu .vpl_timeleft_critical, .path-mod-vpl .vpl_ide .vpl_ide_menu .vpl_timeleft_critical:focus { background-color: red; } .path-mod-vpl .vpl_ide .vpl_ide_menu .vpl_timeleft_over, .path-mod-vpl .vpl_ide .vpl_ide_menu .vpl_timeleft_over:focus { background-color: black; } .path-mod-vpl #vpl_ide_timeleft span { padding-left: .3em; font-size: .8em; } .path-mod-vpl .ace-changed { background-color: #aaa; } /* ############################## */ /* #### Jail servers, index #### */ /* ############################## */ .path-mod-vpl .vpl_server_failed, .path-mod-vpl .vpl_nm { background-color: red; color: white; } /* ############################## */ /* ###### Syntax highlight ###### */ /* ############################## */ .path-mod-vpl .vpl_sh { direction: ltr; text-align: left; } .path-mod-vpl .vpl_sh div { display: inline-block; } .path-mod-vpl .vpl_g, .path-mod-vpl .vpl_g * { font-family: 'Monaco', 'Menlo', 'Ubuntu Mono', 'Consolas', 'source-code-pro', monospace; font-size: 12px; line-height: normal; white-space: pre; word-wrap: normal; } /* ############################## */ /* ######### Similarity ######### */ /* ############################## */ .path-mod-vpl #sim_details .ace_cursor { display: none; } .path-mod-vpl #sim_details .sim-gutter .ace_scroller { background-color: #ddd; } .path-mod-vpl #sim_details .sim-col, .path-mod-vpl #sim_details .sim-file { display: inline-block; vertical-align: top; } .path-mod-vpl #sim_details .sim-col { width: 3em; } .path-mod-vpl #sim_details .sim-file { width: 45%; } /* ############################## */ /* ##### Similarity levels ##### */ /* ############################## */ .path-mod-vpl .vpl_sim { font-size: small; height: 3em; } .path-mod-vpl .vpl_sim a { color: inherit; } .path-mod-vpl .vpl_sim0 { color: white; background-color: #f00; } .path-mod-vpl .vpl_sim1 { color: white; background-color: #ff1010; } .path-mod-vpl .vpl_sim2 { color: white; background-color: #ff2828; } .path-mod-vpl .vpl_sim3 { color: white; background-color: #ff4040; } .path-mod-vpl .vpl_sim4 { color: white; background-color: #ff5858; } .path-mod-vpl .vpl_sim5 { color: white; background-color: #ff7070; } .path-mod-vpl .vpl_sim6 { color: black; background-color: #f88; } .path-mod-vpl .vpl_sim7 { color: black; background-color: #ffa0a0; } .path-mod-vpl .vpl_sim8 { color: black; background-color: #ffb8b8; } .path-mod-vpl .vpl_sim9 { color: black; background-color: #ffd0d0; } .path-mod-vpl .vpl_sim10 { color: black; background-color: #ffe8e8; } .path-mod-vpl .vpl_sim11 { color: black; background-color: #fff; } /* ############################## */ /* ###### Terminal themes ###### */ /* ############################## */ .path-mod-vpl .vpl_terminal_theme1 div { background-color: white; color: black; } .path-mod-vpl .vpl_terminal_theme1 .reverse-video { background-color: black; color: white; } .path-mod-vpl .vpl_terminal_theme2 div { background-color: navy; color: yellow; } .path-mod-vpl .vpl_terminal_theme2 .reverse-video { background-color: yellow; color: navy; } .path-mod-vpl .vpl_terminal_theme3 div { background-color: blue; color: white; } .path-mod-vpl .vpl_terminal_theme3 .reverse-video { background-color: white; color: blue; } .path-mod-vpl .vpl_terminal_theme4 div { background-color: red; color: #0ff; } .path-mod-vpl .vpl_terminal_theme4 .reverse-video { background-color: #0ff; color: red; } /* ############################## */ /* ######### Overrides ######### */ /* ############################## */ .path-mod-vpl .override-option .col-md-3 { height: 0; } .path-mod-vpl .override-option .fdate_time_selector div:nth-child(3) { break-after: always; } .path-mod-vpl .override-option > .form-group:first-child { margin-bottom: 0; } .path-mod-vpl #vpl_override_options_form #fgroup_id_buttonar { display: none; } .path-mod-vpl .override-action-button { cursor: pointer; } /* ############################## */ /* ##### Work state summary ##### */ /* ############################## */ .path-mod-vpl .work-quickview { border: 1px solid lightgray; padding: .8em; float: right; } .path-mod-vpl .lastsub-quickview { padding-left: 1em; }