stylesheet.css

html,
body {
    margin: 0;
    padding: 0;
    overflow: hidden;
}

body {
    background: rgb(63, 63, 63);
    font-family: 'Roboto', sans-serif;
    color: rgb(187, 187, 187);
    -webkit-font-smoothing: subpixel-antialiased;
}

*::-webkit-scrollbar {
    display: none;
}

a {
    text-decoration: none;
}

* {
    color: inherit;
}

*:not(input) {
    -webkit-touch-callout: none;
    user-select: none;
}

.btn {
    display: inline-table;
}

.btn > .wrapper {
    display: table-cell;
    vertical-align: middle;
}

.btn,
button {
    vertical-align: top;
    border: none;
    height: 100%;
    padding: 0 12px;
    margin: 0;
    background: none;
    font-size: 12px;
    outline: none;
    white-space: nowrap;
    overflow: hidden;
    text-overflow: ellipsis;
}

.btn:hover,
button:not([disabled]):hover {
    background: rgba(0, 0, 0, .15) !important;
    cursor: pointer;
}

.btn.active,
button.active {
    background: rgb(38, 38, 38);
}
.btn input,
button input {
    outline: none;
    background: rgba(0, 0, 0, .3);
    padding: 4px;
    border: none;
}

.divider {
    position: absolute !important;
    z-index: 3;
}

.divider.vertical {
    cursor: ew-resize;
}

.divider.horizontal {
    cursor: ns-resize;
}

nav {
    height: 30px;
    width: 100%;
    padding: 0 16px;
}

nav h3 {
    display: inline;
}

.nav-arrow {
    padding: 0 4px;
}

#navigation span:empty + .nav-arrow {
    display: none;
}

.top-menu-buttons {
    float: right;
    height: 100%;
}

#shared {
    width: 128px;
}

#shared.collapse {
    display: none;
}

#interval {
    width: 24px;
    text-align: right;
}

.sidemenu {
    top: 30px;
    right: 85%;
    visibility: hidden;
    overflow: scroll;
    padding-bottom: 120px;
}

.sidemenu.active {
    visibility: visible;
}

.sidemenu #footer {
    border-top: 2px solid rgb(38, 38, 38);
}

.sidemenu button {
    display: block;
    width: 100%;
    height: 30px;
    text-align: left;
}

button.category {
    background: rgba(0, 0, 0, .10);
}

button.indent {
    padding-left: 28px;
}

.algorithms {
  box-shadow: inset 0 2px 2px rgba(0,0,0,0.36),inset 0 -2px 2px rgba(0,0,0,0.24);
}

.algorithms.collapse {
    display: none;
}

.workspace {
    position: absolute;
    top: 30px;
    bottom: 0;
    left: 15%;
    right: 0;
}

nav,
section,
.viewer_container,
.editor_container {
    position: absolute;
    top: 0;
    bottom: 0;
    left: 0;
    right: 0;
}

nav,
section {
    border: 1px solid rgb(38, 38, 38);
    box-sizing: border-box;
}

.viewer_container {
    right: 50%;
}

.editor_container {
    left: 50%;
}

.module_container {
    overflow: hidden;
    border: none;
}

.tab_container {
    top: 30px;
    background: #242424;
    border: 1px solid #505050;
    border-top: none;
}

.tab {
    position: absolute;
    width: 100%;
    height: 100%;
    visibility: hidden;
    overflow: scroll;
}

.tab > .wrapper {
    padding: 16px;
    box-sizing: border-box;
}

.tab.active {
    visibility: visible;
}

.module_wrapper {
    overflow: scroll;
    font-family: monospace;
    border: none;
    border-bottom: 1px solid #505050;
}

.module_wrapper .name {
    position: fixed;
    z-index: 5;
    padding: 4px;
    font-size: 14px;
    background: rgba(0, 0, 0, .4);
}

.module_wrapper > .wrapper {
    padding: 24px 16px;
    box-sizing: border-box;
}

#tab_desc h3 {
    border-bottom: 1px solid rgb(81, 81, 81);
    padding: 5px;
    margin: 2px;
}

#tab_desc > .wrapper a,
#tab_doc > .wrapper a {
    text-decoration: underline;
}

.tab_bar {
    height: 30px;
    border-left: none;
    border-bottom: 1px solid #505050;
}

.tab_bar button {
  position: relative;
  float: left;
  height: 29px;
}

.tab_bar button.active {
  border: 1px solid #505050;
  border-bottom: none;
}

.files_bar {
    height: 30px;
}

.files_bar > * {
    position: absolute;
    height: 100%
}

.files_bar > button {
    width: 30px;
}

.files_bar > button:disabled {
    background: rgba(0, 0, 0, .15);
}

.files_bar > .btn-left {
    left: 0;
}

.files_bar > .btn-right {
    right: 0;
}

.files_bar > .wrapper {
    left: 30px;
    right: 30px;
    overflow: scroll;
    white-space: nowrap;
}

.files_bar > .wrapper > button {
    max-width: 80%;
}

.files_bar > .wrapper.shadow-left {
    box-shadow: inset 16px 0 16px -16px rgba(0, 0, 0, .6);
}

.files_bar > .wrapper.shadow-right {
    box-shadow: inset -16px 0 16px -16px rgba(0, 0, 0, .6);
}

.files_bar > .wrapper.shadow-left.shadow-right {
    box-shadow: inset 16px 0 16px -16px rgba(0, 0, 0, .6), inset -16px 0 16px -16px rgba(0, 0, 0, .6);
}

.explanation_container {
    border: none;
    top: 30px;
    height: 30px;
    background: rgb(38, 38, 38);
    padding: 8px;
    font-size: 12px;
}

#explanation:before {
    font-family: FontAwesome;
    content: '\f05a\00a0\00a0';
}

#explanation {
    display: block;
    white-space: nowrap;
    overflow: hidden;
    text-overflow: ellipsis;
}

.explanation_container:hover {
    z-index: 5;
    height: auto;
    bottom: auto;
    box-shadow: 0 8px 8px -8px rgba(0, 0, 0, .8);
}

.explanation_container:hover #explanation {
    white-space: normal;
}

.data_container {
    top: 60px;
    bottom: 60%;
}

.code_container {
    top: 40%;
}

pre {
    box-sizing: border-box;
    height: 100%;
    width: 100%;
    margin: 0;
    padding: 0;
    border: 1px solid rgb(81, 81, 81);
    background: rgb(43, 43, 43);
    outline: none;
    resize: none;
}

.toast_container {
    position: absolute;
    bottom: 0;
    right: 0;
    padding: 12px;
    z-index: 4;
}

.toast {
    width: 280px;
    border: 1px solid;
    border-radius: 4px;
    padding: 16px;
    margin: 16px;
}

.toast.error {
    border-color: rgb(150, 0, 0);
    background: rgba(120, 0, 0, .8);
}

.toast.info {
    border-color: rgb(0, 150, 0);
    background: rgba(0, 120, 0, .8);
}

.github-fork-ribbon {
    position: fixed;
}

.github-fork-ribbon.left-bottom:before {
    background-color: #333;
}

.fa-spin-faster {
    animation: fa-spin 1s infinite ease-in-out;
}

.mtbl-wrapper {
    width: 100%;
    height: 100%;
}

.mtbl-table {
    display: inline-table;
    color: white;
    table-layout: fixed;
    border: 1px solid #505050;
}

.mtbl-row {
    display: table-row;
}

.mtbl-col {
    display: table-cell;
    vertical-align: middle;
    text-align: center;
    background: #888;
}

.mtbl-empty-row {
    display: table-row;
    background: rgb(63, 63, 63);
    height: 2px;
}

.mtbl-empty-col {
    display: table-cell;
    background: rgb(63, 63, 63);
    width: 2px;
}

.mtbl-col.selected {
    background: #00f;
}

.mtbl-col.notified {
    background: #f00;
}

.mchrt-chart {
    width: 100%;
    height: 100%;
}

#loading-slider {
    z-index: 6;
    position: absolute;
    width: 100%;
    height: 2px;
}

#loading-slider.loaded {
    visibility: hidden;
}

.line {
    position: absolute;
    background: #4a8df8;
    width: 100%;
    left: 0;
    right: 0;
    top: 0;
    height: 3px;
}

.break {
    position: absolute;
    background: #222;
    width: 6px;
    height: 2px;
}

.dot1 {
    animation: loading 2s infinite;
}

.dot2 {
    animation: loading 2s 0.5s infinite;
}

.dot3 {
    animation: loading 2s 1s infinite;
}

@keyframes loading {
    from {
        left: 0;
    }
    to {
        left: 100%;
    }
}

input[type=number]::-webkit-inner-spin-button,
input[type=number]::-webkit-outer-spin-button {
    -webkit-appearance: none;
    margin: 0;
}

.applications li,
.complexity {
    margin: 10px 0px;
}

.complexity-type {
    font-weight: bold;
}

.top-menu-buttons button.active {
    font-weight: bold;
}

.top-menu-buttons button.active .fa {
    color: #00e676;
}

#btn_pause > .btn-text:before {
    content: 'Pause'
}

#btn_pause.active > .btn-text:before {
    content: 'Resume'
}

button[disabled] {
    cursor: not-allowed;
    opacity: 0.6;
}

#btn_pause {
    width: 86px;
}

.top-menu-buttons button.active {
    background: rgba(0, 0, 0, .15);
    box-shadow: 0px 0px 10px 3px #1a1a1a inset;
}

.top-menu-buttons button:active {
    background: rgba(0, 0, 0, .15);
    box-shadow: 0px 0px 10px 3px #1a1a1a inset;
}

.executing {
  	background: rgba(0, 174, 255, 0.4);
    border: 1px solid #0091ea;
    position: absolute;
    width: 100% !important;
    left: 0 !important;

    animation: line_highlight .1s;
}

@keyframes line_highlight {
    from { background: rgba(0, 174, 255, 0.1); }
    to   { background: rgba(0, 174, 255, 0.4); }
}