.theme-dark body {
    height: 100vh;
    background-color: black;
    color: #999;
}

.theme-dark .section {
    padding: 0 1.5rem;
    background-color: black;
}

.theme-dark #program-listing {
    font-family: Courier New, Courier, monospace;
    background-color: black;
}

.theme-dark #program-listing-body tr.is-breakpoint {
    background-color: #eb355a;
    color: white;
}

.theme-dark #program-listing-body tr.is-selected {
    background-color: #00927c;
    color: white;
}

.theme-dark #program-listing-container {
    min-height: 60vh;
    max-height: 60vh;
    overflow-y: auto;
    background-color: black;
}

.theme-dark #memory-table {
    font-family: Courier New, Courier, monospace;
    margin: auto;
    background-color: black;
}

.theme-dark #memory-table td {
    text-align: center;
    vertical-align: middle;
    background-color: #111111;
    color: #CCCCCC;
}

.theme-dark #console-output {
    height: 100%;
    font-family: Courier New, Courier, monospace;
    background-color: black;
    font-weight: bold;
    color: #CCCCCC;
}

.theme-dark .tabs {
    margin-top: 1em;
    background-color: black;
}

.theme-dark #regs-tab-view .input {
    font-family: Courier New, Courier, monospace;
    border-width: 2px;
    background-color: black;
    font-weight: bold;
}

.theme-dark #fregs-tab-view .input {
    font-family: Courier New, Courier, monospace;
    border-width: 2px;
    background-color: black;
    font-weight: bold;
}

.theme-dark #cache-tab-view .input {
    font-family: Courier New, Courier, monospace;
    border-width: 2px;
    background-color: black;
    color: #CCCCCC;
    font-weight: bold;
}

.theme-dark #cache-tab-view .field.is-horizontal {
    width: 100%;
    color: #CCCCCC;
}

.theme-dark .input.is-modified {
    border-color: #3273dc;
}

.theme-dark .tile {
    position: relative;  /* only in order to make z-index used */
    background-color: black;
}

.theme-dark .scrubber {
    display: inline-block;
    border-top: 2px solid #ccc;
    width: 25px;
    padding-top: 2px;
    float: right;
    cursor: -webkit-grab;
    cursor: ns-resize;
}

.theme-dark .scrubber:before,
.theme-dark .scrubber:after {
    display: block;
    content: "";
    border-top: 2px solid #ccc;
    padding-top: 2px;
}

.theme-dark #display-settings {
    background-color: black;
    color: #EEEEEE;
}

.theme-dark .input {
    background-color: black;
    color: #CCCCCC;
    font-weight: bold;
}

.theme-dark .select {
    background-color: black;
    color: #CCCCCC;
}

.theme-dark .input[type=button] {
    background-color: black;
    color: #CCCCCC;
}

.theme-dark .label {
    color: #CCCCCC;
}

.theme-dark .table thead th {
    color: #cacaca;
    font-weight: bold;
}

.theme-dark .table th {
    color: #CCCCCC;
}

.table.is-striped tbody tr:not(.is-selected):nth-child(even) {
    background-color: #484848;
}

.table.is-striped tbody tr:not(.is-selected):nth-child(even):hover {
    background-color: #585858;
}

.theme-dark .table tr td {
    color: #f3f3f3;
    font-weight: bold;
}

.theme-dark .table tr:hover {
    background-color: #333333;
}

.theme-dark a:hover {
    color: #fcff00 !important;
}
.theme-dark .panel-tabs a {
    font-weight: bold;
}
.theme-dark .panel-tabs a.is-active {
    color: #a7d900;
    font-weight: bold;
}

.theme-dark .button {
    background-color: #444444;
    color: #CCCCCC;
}

.theme-dark .button:hover {
    background-color: #333333;
    color: #BBBBBB;
}

.theme-dark .button.is-primary {
    background-color: #00927c;
    border-color: transparent;
    color: #fff;
}

.button.is-primary:hover, .button.is-primary.is-hovered {
    background-color: #007d6b;
}

.theme-dark .button.is-primary.is-active, .theme-dark .button.is-primary:active {
    background-color: #006354;
    border-color: transparent;
    -webkit-box-shadow: inset 0 1px 2px rgba(10,10,10,.2);
    box-shadow: inset 0 1px 2px rgba(10,10,10,.2);
    color: #fff;
}

.theme-dark .button.is-primary.is-focused, .theme-dark .button.is-primary:focus {
    border-color: transparent;
    -webkit-box-shadow: 0 0 0.5em rgba(0,209,178,.25);
    box-shadow: 0 0 0.5em rgba(0,209,178,.25);
    color: #fff;
}

.theme-dark a {
    color: #00d1b2;
    cursor: pointer;
    text-decoration: none;
    -webkit-transition: none 86ms ease-out;
    transition: none 86ms ease-out;
}

.theme-dark .tabs.is-boxed a:hover, .theme-dark .tabs.is-boxed li.is-active a {
    background-color: #333333;
    border-bottom-color: #999999;
}

.theme-dark .select select {
    background-color: #333333;
    color: #CCCCCC;
}

.theme-dark .button[disabled]:hover {
    background-color: white;
    border-color: #dbdbdb;
    color: #CCCCCC;
}

.theme-dark .button[disabled].is-primary:hover {
    background-color: #00d1b2;
    border-color: transparent;
    color: #fff;
}

.theme-dark .button:focus {
    color: #CCCCCC;
}

.theme-dark .tabs a {
    color: #CCCCCC;
}

.theme-dark .panel-block {
    color: #CCCCCC;
}

.theme-dark * {
    color: #EEEEEE;
}

.theme-dark #extern-link {
    color: #ffffff;
}

.theme-dark .textarea {
    background-color: #333333;
    color: #CCCCCC;
}

.theme-dark .alertify .ajs-header {
    background: #111111 !important;
    color: #CCCCCC !important;
    border-bottom: #444444 1px solid !important;
}

.theme-dark .alertify .ajs-footer .ajs-buttons.ajs-primary {
    background: #111111 !important;
    color: #CCCCCC !important;
}
.theme-dark .alertify .ajs-footer {
    border-top: #444444 1px solid !important;
    background: #111111 !important;
    color: #CCCCCC !important;
}
.theme-dark .alertify .ajs-body .ajs-content, .theme-dark .alertify .ajs-dialog {
    background: #222222 !important;
    color: #CCCCCC !important;
}

.theme-dark .alertify .ajs-footer .ajs-buttons .ajs-button {
    color: #d4d4d4;
}

.theme-dark ::-webkit-scrollbar { width: 8px; height: 3px;}
.theme-dark ::-webkit-scrollbar-button {  background-color: #666; }
.theme-dark ::-webkit-scrollbar-track {  background-color: #646464;}
.theme-dark ::-webkit-scrollbar-track-piece { background-color: #000;}
.theme-dark ::-webkit-scrollbar-thumb { height: 50px; background-color: #666; border-radius: 3px;}
.theme-dark ::-webkit-scrollbar-corner { background-color: #646464;}
.theme-dark ::-webkit-resizer { background-color: #666;}

.theme-dark .table {
    background-color: #363636;
    color: #fff;
}

.theme-dark .prompt {
    color: #96b38a;
}

.theme-dark .terminal-drive {
    color: #42a2ff;
}

.theme-dark .terminal-drive-mounted-connected {
    color: #00b800;
}

.theme-dark .terminal-drive-mounted-disconnected {
    color: #ff7171;
}