#output {
    position: relative;
    background-color: #000000;
    color: #FFFFFF;
    font-weight: bold;
    font-family: "Lucida Console", Monaco, monospace;
    white-space:pre;
    overflow-y: auto;
    height: 100vh;
}

ul {
    padding: 0px;
    margin: 0px;
}

li.action{
    position: relative;
}

#arguments {
    padding: 0px;
}

.tabs-panel {
    padding-left: 0px;
    padding-right: 0px;
}

#output .out {
    color: #FFFFFF;
}

#output .err {
    color: #990000;
}

#output_wrap {
    padding: 0px;
}
#control-buttons {
    position: fixed;
    right: 5px;
    top: 5px;
    width: auto;
    z-index: 2;
}

html, body {
    background: #FAFAFA; }

.action label {
    margin-bottom:0px;
}

li.action {
    padding: 1rem 1rem 1rem 1rem;
}

.unlock-button {
    position: absolute;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%;
    background-color: #000000;
    opacity: 0.5;
    transition: width 0.5s;
}

html, body {
background: #FAFAFA; }