/* ############################## */ /* # 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: 999; } .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%; min-width: 100px; position: absolute; right: 0; top: 0; } .path-mod-vpl .vpl_ide_results a { border-bottom: solid 1px; padding: 1px 2px; text-shadow: 0 -1px 0 rgba(0, 0, 0, 0.4); } .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 .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_vnc { position: fixed; width: auto; z-index: 1000; } .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: 1000; } .path-mod-vpl .vpl_clipboard { display: none; z-index: 1010; } .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 monospace; margin: 0; padding: 0; } .path-mod-vpl pre.vpl_terminal { display: inline-block; font: 1em/1.2 monospace; font-size: 12px; padding: 2px; } .path-mod-vpl .vpl_ide .vpl_timeleft_medium, .path-mod-vpl .vpl_ide .vpl_timeleft_critical, .path-mod-vpl .vpl_ide .vpl_timeleft_over { background-image: none; color: white; font-weight: bold; } .path-mod-vpl .vpl_ide .vpl_timeleft_medium { background-color: orange; } .path-mod-vpl .vpl_ide .vpl_timeleft_critical { background-color: red; } .path-mod-vpl .vpl_ide .vpl_timeleft_over { 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 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; }