+++ /dev/null
-// http://stackoverflow.com/questions/71074/how-to-remove-firefoxs-dotted-outline-on-buttons-as-well-as-links/3844452#3844452
-:focus {
- outline: none;
-}
-::-moz-focus-inner {
- border: 0;
-}
-
-@keyframes pulsate {
- from { opacity: 1; }
- to { opacity: 0.25; }
-}
-
-#part-header {
- background: #444444;
- color: #ffffff;
- font: 24pt monospace;
- border-bottom: 2px solid #cccccc;
- padding: 20px 0px 20px 10px;
-}
-
-/* http://css-tricks.com/snippets/css/a-guide-to-flexbox/ */
-#part-middle {
- display: flex;
- flex-direction: row;
- flex-wrap: nowrap;
- justify-content: space-between;
- align-items: stretch;
- align-content: stretch;
-
- min-height: 800px;
-
- border-top: 1px solid #ffffff;
- padding: 8px;
- margin-top: 2px;
-}
-#left-area {
- flex: 0 0 11em;
- margin-right: 20px;
- margin-bottom: 10px;
-}
-#center-area {
- flex: 1 1 0;
- margin-bottom: 10px;
-}
-#right-area {
- flex: 0 0 40em;
- margin-left: 20px;
- margin-bottom: 10px;
-}
-
-#part-footer {
- clear: both;
- border-top: 2px solid #bbbbbb;
- background: #eeeeee;
- color: #555555;
- text-align: center;
- padding-top: 12px;
- padding-bottom: 12px;
- line-height: 1.5;
-}
-
-#exec-status {
- margin-top: 25px;
- margin-bottom: 25px;
-}
-#exec-state {
- display: inline-block;
- vertical-align: middle;
-}
-#exec-other {
- display: inline-block;
- vertical-align: middle;
- font-size: 125%;
-}
-#current-state {
- background: #228822;
- color: #ffffff;
- font: 16pt;
- padding: 6pt;
- border: 5px solid #228822;
- border-radius: 10px;
- font-size: 200%;
- font-weight: bold;
- margin-right: 10px;
-}
-#current-state.notrunning {
- background: #882222;
- border: 5px solid #882222;
- border-radius: 10px;
- animation: pulsate 0.7s cubic-bezier(0.75, 0, 0.75, 1) infinite alternate;
-}
-#exec-other:hover {
- text-decoration: underline;
- color: #9999ff;
-}
-
-#left-area button {
- display: inline-block;
- width: 100%;
- min-width: 8em;
- background: #226622;
- color: #ffffff;
- font: 16pt sans-serif;
- font-weight: bold;
- text-decoration: none;
- margin: 10px 0 0 0;
- padding: 0.4em;
- border: 2px solid #000000;
- border-radius: 4px;
-}
-#left-area button a {
- color: #ffffff;
- text-decoration: none;
-}
-#left-area button:hover {
- background: #55aa55;
-}
-#left-area button:disabled {
- background: #555555;
- color: #888888;
-}
-#left-area button:disabled a {
- background: #555555;
- color: #888888;
-}
-
-#pause-button.pending {
- background: #5555ff;
- animation: pulsate 0.2s cubic-bezier(0.75, 0, 0.75, 1) infinite alternate;
-}
-
-#attach-button {
-}
-#attach-button.enabled {
- animation: pulsate 0.7s cubic-bezier(0.75, 0, 0.75, 1) infinite alternate;
-}
-
-.duktape-exec-line {
- outline: 2px solid red;
- background: #550000;
-}
-.duktape-break-line {
- outline: 2px solid white;
-}
-
-#output {
- font: 9pt monospace;
- color: #000000;
- border: 2px solid #cccccc;
- border-radius: 5px;
- padding: 3px;
- height: 30ex;
- overflow: scroll;
- overflow-x: auto;
- overflow-y: scroll;
- white-space: pre;
-}
-#output .alert {
- color: #ff0000;
-}
-/* Default color (should be overridden by level) */
-#output .log {
- color: #00ff00;
-}
-/* Trace */
-#output .loglevel0 {
- color: #cccccc;
-}
-/* Debug */
-#output .loglevel1 {
- color: #cccccc;
-}
-/* Info */
-#output .loglevel2 {
- color: #888888;
- font-weight: bold;
-}
-/* Warn */
-#output .loglevel3 {
- color: #ff4444;
- font-weight: bold;
-}
-/* Error */
-#output .loglevel4 {
- color: #ff0000;
- font-weight: bold;
-}
-/* Fatal */
-#output .loglevel5 {
- background: #000000;
- color: #ff0000;
- font-weight: bold;
-}
-#output .debugger-info {
- color: #880000;
- font-weight: bold;
- font-style: italic;
-}
-#output .debugger-debug {
- color: #888888;
- font-weight: bold;
- font-style: italic;
-}
-
-#callstack {
- font: 9pt monospace;
- color: #000000;
- margin-top: 10px;
- border: 2px solid #cccccc;
- border-radius: 5px;
- padding: 3px;
- height: 14ex;
- overflow: scroll;
- overflow-x: auto;
- overflow-y: scroll;
- white-space: pre;
-}
-#callstack div:nth-child(2n) {
- background: #eeeeee;
-}
-#callstack .func {
-}
-#callstack .rest {
- float: right;
- color: #6666ff;
-}
-#callstack .rest:hover {
- text-decoration: underline;
- color: #9999ff;
-}
-
-#locals {
- font: 9pt monospace;
- color: #000000;
- margin-top: 10px;
- border: 2px solid #cccccc;
- border-radius: 5px;
- padding: 10px;
- height: 30ex;
- overflow: scroll;
- overflow-x: auto;
- overflow-y: scroll;
- white-space: pre;
-}
-#locals div:nth-child(2n) {
- background: #eeeeee;
-}
-#locals .key {
-}
-#locals .value {
- float: right;
- color: #888888;
-}
-
-#breakpoints {
- color: #000000;
- margin-top: 10px;
- border: 2px solid #cccccc;
- border-radius: 5px;
- padding: 3px;
- height: 15ex;
- overflow: scroll;
- overflow-x: auto;
- overflow-y: scroll;
- white-space: pre;
-}
-#breakpoints div {
- margin: 2px 0 2px 0;
-}
-#breakpoints div:nth-child(2n) {
- background: #eeeeee;
-}
-#breakpoints a {
- font: 9pt monospace;
- color: #6666ff;
-}
-#breakpoints a:hover {
- text-decoration: underline;
- color: #9999ff;
-}
-.breakpoint-line {
- clear: both;
- padding-top: 2px;
- padding-bottom: 2px;
-}
-#add-breakpoint-file {
- font: 10pt monospace;
- width: 10em;
- padding: 5px;
-}
-#add-breakpoint-line {
- font: 10pt monospace;
- width: 3em;
- margin-left: 3px;
- padding: 5px;
-}
-#delete-all-breakpoints-button {
- float: right;
- font: 10pt sans-serif;
- padding: 5px;
- border: 1px solid #888888;
- background: #ddffdd;
- color: #000000;
-}
-#delete-all-breakpoints-button:hover {
- background: #f8fff8;
-}
-#delete-all-breakpoints-button:disabled {
- background: #dddddd;
- color: #444444;
-}
-#add-breakpoint-button {
- font: 10pt sans-serif;
- margin-left: 10px;
- padding: 5px;
- border: 1px solid #888888;
- background: #ddffdd;
- color: #000000;
-}
-#add-breakpoint-button:hover {
- background: #f8fff8;
-}
-#add-breakpoint-button:disabled {
- background: #dddddd;
- color: #444444;
-}
-#breakpoint-hint {
- color: #aaaaaa;
- font-style: italic;
- margin-left: 10px;
-}
-.delete-breakpoint-button {
- float: right;
- display: inline;
- font: 9pt sans-serif;
- padding: 3px;
- border: none;
- background: none;
- color: #6666ff;
-}
-.delete-breakpoint-button {
- font: 9pt sans-serif;
-}
-.delete-breakpoint-button:hover {
- text-decoration: underline;
- color: #9999ff;
-}
-.delete-breakpoint-button:disabled {
- color: #888888;
-}
-
-#about-dialog p {
- margin: 10px 0 10px 0;
-}
-
-#bytecode-dialog p {
- margin: 10px 0 10px 0;
-}
-#bytecode-dialog pre {
- font: 10pt monospace;
- color: #000000;
-}
-#bytecode-dialog div.highlight {
- background: #888888;
- color: #ffffff;
-}
-
-#eval {
- color: #000000;
- margin-top: 10px;
- border: 2px solid #cccccc;
- border-radius: 5px;
- padding: 3px;
- height: 30ex;
- overflow: scroll;
- overflow-x: auto;
- overflow-y: scroll;
- white-space: pre;
-}
-#eval-input {
- display: inline;
- font: 10pt monospace;
- width: 20em;
- padding: 5px;
-}
-#eval-button {
- display: inline;
- margin-left: 10px;
- padding: 5px;
- border: 1px solid #888888;
- font: 10pt sans-serif;
- background: #ddffdd;
- color: #000000;
-}
-#eval-button {
-}
-#eval-button:hover {
- background: #f8fff8;
-}
-#eval-button:disabled {
- background: #dddddd;
- color: #444444;
-}
-#eval-button.pending {
- background: #5555ff;
- animation: pulsate 0.2s cubic-bezier(0.75, 0, 0.75, 1) infinite alternate;
-}
-#eval-watch {
- margin-left: 20px;
- vertical-align: middle;
-}
-#eval-output {
- font: 10pt monospace;
- white-space: pre;
- padding: 5px;
- border: 1px solid #888888;
- min-height: 4ex;
- margin-top: 5px;
-}
-
-#varname-input {
- font: 10pt monospace;
- width: 10em;
- padding: 5px;
-}
-#varvalue-input {
- margin-left: 10px;
- font: 10pt monospace;
- width: 20em;
- padding: 5px;
-}
-#getvar-button,
-#putvar-button {
- display: inline;
- float: right;
- margin-left: 10px;
- padding: 5px;
- border: 1px solid #888888;
- font: 10pt sans-serif;
- background: #ddffdd;
- color: #000000;
-}
-#getvar-button:hover,
-#putvar-button:hover {
- background: #f8fff8;
-}
-#getvar-button:disabled,
-#putvar-button:disabled {
- background: #dddddd;
- color: #444444;
-}
-#var-output {
- font: 10pt monospace;
- white-space: pre;
- padding: 5px;
- border: 1px solid #888888;
- min-height: 4ex;
- margin-top: 5px;
-}
-
-#source-pre {
- margin-top: 10px;
- border: 2px solid #cccccc;
- border-radius: 5px;
- height: 400px;
- overflow: scroll;
- overflow-x: auto;
- overflow-y: scroll;
-}
-#source-pre.running {
- background: #eeeeee;
- color: #888888;
-}
-#source-pre.running #source-code {
- background: #eeeeee;
- color: #888888;
-}
-#source-filename {
- font-size: 125%;
- color: #888888;
-}
-code.sourcecode {
- counter-reset: source-line;
-}
-code.sourcecode div {
- font: 10pt monospace;
- padding: 2px 5px 2px 5px;
- white-space: pre;
- border-bottom: 1px solid #eeeeee;
-}
-code.sourcecode div:before {
- display: inline-block;
- content: counter(source-line);
- counter-increment: source-line;
- width: 4em;
- color: #888888;
- text-align: right;
- margin-right: 20px;
-}
-code.sourcecode div.breakpoint:before {
- margin-right: 0px;
- border-right: 20px solid #ff0000;
-}
-code.sourcecode div.highlight {
- background: #aaaaaa;
- color: #000000;
-}
-code.sourcecode div.execution {
- background: #000000;
- color: #ffffff;
-}
-
-#source-select {
- margin-top: 5px;
-}