Skip to content
Snippets Groups Projects
styles.css 10.1 KiB
Newer Older
/* ############################## */
/* ######### Blue theme ######### */
/* ############################## */

.path-mod-vpl .vpl_ide .ui-widget-header,
.path-mod-vpl .vpl_ide .ui-button,
.path-mod-vpl .vpl_ide .ui-button:hover,
.path-mod-vpl .vpl_ide .ui-button:focus,
.path-mod-vpl .vpl_ide_tr .vpl_ide_tabs li:not(.ui-state-active) {
    background-color: var(--blue);
    background-image: none;
    border: none;
    color: white;
}

.path-mod-vpl .vpl_ide_results .ui-accordion-header {
    background-image: none;
    background-color: white;
    color: black;
}

.path-mod-vpl .vpl_ide_tr .vpl_ide_tabs li.ui-state-hover,
.path-mod-vpl .vpl_ide .ui-button:hover {
    background-color: #4ae;
}

.path-mod-vpl div.vpl_ide a.ui-button,
.path-mod-vpl .vpl_ide_tr .vpl_ide_tabs li:not(.ui-state-active) a {
    color: white;
}

.path-mod-vpl #vpl_menu .ui-button i {
    min-width: .75em;
}

.path-mod-vpl .vpl_ide .ui-corner-all,
.path-mod-vpl .vpl_ide.ui-corner-all,
.path-mod-vpl .vpl_ide .ui-corner-left,
.path-mod-vpl .vpl_ide .ui-corner-right,
.path-mod-vpl .vpl_ide .ui-corner-top,
.path-mod-vpl .vpl_ide .ui-corner-bottom {
    border-radius: 0;
}

.path-mod-vpl .vpl_ide_tr .vpl_ide_tabs li i {
    color: #5cf;
    text-shadow: none;
}

.path-mod-vpl .vpl_ide_accordion_c_comments .ui-widget-header {
    padding: 1px 3px;
    -webkit-box-decoration-break: clone;
    box-decoration-break: clone;
}

/* 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 {
}
.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;
}

.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;
}
.path-mod-vpl .vpl_clipboard {
    display: none;
}
.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_ide_menu .vpl_timeleft_medium,
.path-mod-vpl .vpl_ide .vpl_ide_menu .vpl_timeleft_critical,
.path-mod-vpl .vpl_ide .vpl_ide_menu .vpl_timeleft_over {
    background-image: none;
    color: white;
    font-weight: bold;
}
.path-mod-vpl .vpl_ide .vpl_ide_menu .vpl_timeleft_medium {
    background-color: orange;
}
.path-mod-vpl .vpl_ide .vpl_ide_menu .vpl_timeleft_critical {
.path-mod-vpl .vpl_ide .vpl_ide_menu .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;
}