.dbg_info { font-size: 0.8em; } .gutter-offset { width: 3em; } .CodeMirror-gutter-elt:hover { text-decoration: underline; } .gutter-bytes { width: 6em; } .gutter-clock { width: 0.5em; } .gutter-info { width: 1em; } .tooltipbox { position: relative; display: inline-block; border-bottom: 1px dotted black; } .tooltiptext { visibility: hidden; width: 500px; background-color: #660000; color: #fff; text-align: center; border-radius: 6px; padding: 5px 0; /* Position the tooltip */ position: absolute; z-index: 10; /*
 tag wrap */
     white-space: pre-wrap;       /* css-3 */
     white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */
}
.tooltipbox:hover .tooltiptext {
    visibility: visible;
}
.tooltiperror {
 color: #ff6666;
 font-weight: bold;
}
.tooltiperrorline {
 color:#ffcccc;
 background-color:#660000;
}
.tooltipinfoline {
 color:#ccccff;
 background-color:#000066;
}
.tooltiptrack {
    background-color: #666;
    color: #fff;
    text-align: left;
    border: 2px solid #999;
    border-radius: 8px;
    padding: 5px;
    position: absolute;
    z-index: 10;
    white-space: pre-wrap;       /* css-3 */
    white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */
    pointer-events: none;
}
#controls_top {
  position:absolute;
  padding:0.5em;
  height:3em;
  width:100%;
  background-color:#999;
}
#notebook {
  position:absolute;
  top:3em;
  bottom:0;
  left:0;
  right:0;
  background-color:#666;
  overflow:hidden;
  display:flex;
  flex-direction:row;
}
#workspace {
  background-color:#333;
  overflow:hidden;
}
div.editor {
  line-height:1.25;
  font-size:12pt;
}
div.memdump {
  background-color: #333;
  color: #66ff66;
  white-space: pre;
  margin-top: 20px auto 0;
  font-family: "Andale Mono", "Menlo", "Lucida Console", monospace;
  font-size: 10pt;
}
div.mem_info {
  position: fixed;
  right: 10px;
  bottom: 10px;
  background-color: #333;
  color: #66ff66;
  white-space: pre;
  padding: 20px;
  z-index: 12;
  font-family: "Andale Mono", "Menlo", "Lucida Console", monospace;
  font-size: 12pt;
  box-shadow: 0px 0px 8px rgba(0,0,0,.5);
}
div.mem_info a {
  color: #99ff99;
  font-weight: bold;
  text-decoration: underline;
}
div.mem_info a:hover {
  background-color: #333399;
  cursor: pointer;
}
div.mem_info a.selected {
 color: #ffffff;
}
.mem_info_links {
 text-align:right;
}
.btn_group {
  border-radius:8px;
  padding:8px;
  margin-left:8px;
  background-color: #666;
}
.btn_group button {
  padding-left:4px;
  padding-right:4px;
  padding-top:2px;
  padding-bottom:2px;
  margin:1px;
  vertical-align:baseline;
}
.btn_label {
  color: #ccc;
}
.btn_group.debug_group {
}
.btn_group.view_group {
}
.btn_active {
  color: #33cc33 !important;
}
.btn_stopped {
  color: #ff9933 !important;
}
.btn_recording {
  color: #ff6666 !important;
}
.btn_toolbar {
 margin:4px;
}
span.hilite {
  color: #ff66ff;
}
div.has-errors {
  background-color: #ff6666 !important;
}
div.is-busy-unused {
  background-color: #8888bb !important;
}
div.menu_div {
  position: absolute;
  width: 200px;
}
div.booklink {
  position: fixed;
  bottom: 0;
  right: 0;
  padding: 6px;
  background-color: #ffffff;
  display:none;
}
div.twitbtn {
  position: fixed;
  bottom: 0%;
  right: 0%;
  padding: 10px;
}
a.twitbtn {
  color:#333399;
  font-weight: bold;
}
a.dropdown-toggle {
  color:#66ee66;
  padding:3px;
}
/* http://stackoverflow.com/questions/18023493/bootstrap-3-dropdown-sub-menu-missing */
.dropdown-submenu {
    position:relative;
}
.dropdown-submenu>.dropdown-menu {
    top:0;
    left:100%;
    margin-top:-6px;
    margin-left:-1px;
    -webkit-border-radius:0 6px 6px 6px;
    -moz-border-radius:0 6px 6px 6px;
    border-radius:0 6px 6px 6px;
}
.dropdown-submenu:hover>.dropdown-menu {
    display:block;
}
.dropdown-submenu>a:after {
    display:block;
    content:" ";
    float:right;
    width:0;
    height:0;
    border-color:transparent;
    border-style:solid;
    border-width:5px 0 5px 5px;
    border-left-color:#cccccc;
    margin-top:5px;
    margin-right:-10px;
}
.dropdown-submenu:hover>a:after {
    border-left-color:#ffffff;
}
.dropdown-submenu.pull-left {
    float:none;
}
.dropdown-submenu.pull-left>.dropdown-menu {
    left:-100%;
    margin-left:10px;
    -webkit-border-radius:6px 0 6px 6px;
    -moz-border-radius:6px 0 6px 6px;
    border-radius:6px 0 6px 6px;
}
div.emulator {
  background-color: #666;
  margin-top: 20px auto 0;
  display:flex;
  flex-direction:column;
}
div.emuoverlay {
  display:flex;
  flex-direction:column;
  height:100%;
}
div.emuscope {
  background-color:#333;
  z-index:1;
}
div.emuspacer {
  width:100%;
}
/* has to be here b/c renders differently after first load if in inline style */
.emuvideo {
  border-radius:20px;
  border: 4px solid #222;
  outline-color: #ccc;
  padding: 20px;
  background: #000;
  margin-top:40px;
  margin-left:5%;
  margin-right:5%;
  width:90%;
  pointer-events:auto;
}
.emuvideo:focus {
  outline:none;
  border-color:#888;
}
canvas.pixelated {
  image-rendering: optimizeSpeed;             /* Older versions of FF          */
  image-rendering: -moz-crisp-edges;          /* FF 6.0+                       */
  image-rendering: -webkit-optimize-contrast; /* Safari                        */
  image-rendering: -o-crisp-edges;            /* OS X & Windows Opera (12.02+) */
  image-rendering: pixelated;                 /* Awesome future-browsers       */
  -ms-interpolation-mode: nearest-neighbor;   /* IE                            */
}
.palbtn {
  width:2em;
  height:2em;
  border-style:none;
}
.palbtn.selected {
  border-width:2px;
  border-color:white;
  border-style:dotted;
}
#javatari-screen canvas {
  box-sizing: content-box;
}
#javatari-screen div {
  box-sizing: content-box;
}
@font-face {
    font-family: TinyFont;
    src: url(04B_03__.TTF);
}
.toolbarMenuButton {
  background-color:#666;
  border-style:solid;
  position:relative;
  margin-left:0.5em;
  margin-right:0.5em;
}
a.toolbarMenuButton {
  padding:0.3em;
}
a.dropdown-toggle {
}
a.dropdown-toggle:hover {
 color:#ffffff;
 text-shadow: 0px 0px 2px black;
}
.nav-tabs > li > a.tab {
  line-height: 1.0;
}
.twitter-follow-button,
.twitter-follow-button:focus {
  border-width:3px;
  border-color:#9999ff;
  background-color:#333399;
  border-style:solid;
  font-family: "Andale Mono", "Menlo", "Lucida Console", monospace;
  color:#77aaaa;
  padding:6px;
}
.twitter-follow-button:hover {
  color:#99ffff;
}
.dropdown-menu .dropdown-item-checked::before {
  position: absolute;
  left: .4rem;
  content: '\2713';
  font-weight: 400;
}
div.replaydiv {
  width:100%;
  bottom:0;
  z-index:1;
  background-color: #333;
  padding:0.5em;
}
.slider {
 margin-left: 1em;
 margin-right: 1em;
}
.gutter {
  background-color: #555;
  background-repeat: no-repeat;
  background-position: 50%;
  pointer-events:auto;
  z-index:1;
}
.gutter.gutter-horizontal {
  background-image: url('grips/vertical.png');
  cursor: col-resize;
}
.gutter.gutter-vertical {
  background-image: url('grips/horizontal.png');
  cursor: row-resize;
}
.gutter.gutter-vertical {
  background-image:url('data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAB4AAAAFAQMAAABo7865AAAABlBMVEVHcEzMzMzyAv2sAAAAAXRSTlMAQObYZgAAABBJREFUeF5jOAMEEAIEEFwAn3kMwcB6I2AAAAAASUVORK5CYII=');
}
.gutter.gutter-horizontal {
  background-image:url('data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAUAAAAeCAYAAADkftS9AAAAIklEQVQoU2M4c+bMfxAGAgYYmwGrIIiDjrELjpo5aiZeMwF+yNnOs5KSvgAAAABJRU5ErkJggg==');
  height:100%;
}
.split,
.gutter.gutter-horizontal {
  height: 100%;
}
div.markdown {
 background-color: #fff;
 width:94%;
 margin:3%;
 padding:1em;
 user-select: auto;
}
div.markdown table {
 margin:1em;
}
div.markdown td {
 padding:0.2em;
}
div.markdown th {
 padding:0.2em;
}
#sidebar {
  overflow:auto;
}
#sidebar ul {
  list-style-type:none;
  padding:1em;
}
#sidebar a {
  color:#ddffdd;
  text-overflow:ellipsis;
  white-space:nowrap;
  overflow:hidden;
  display:block;
}
#sidebar a:focus {
  text-decoration:none;
}
#sidebar .dropdown-item-checked {
  font-weight:bold;
  background-color:#333;
}
.logo-gradient {
  font-size: 1.5em;
  background: linear-gradient(to right, #ff9999, #ffff99, #99ff99, #99ffff);
  background-clip: text;
  -webkit-background-clip: text;
  color:rgba(0,0,0,0);
}
.disable-select {
  user-select: none;
}
.enable-select {
  user-select: auto;
}
.alert {
 z-index:2;
}
.segment {
  border: 2px solid rgba(0,0,0,0.2);
  border-radius:8px;
  color: #333;
  background-color:#999;
}
.segment:hover {
  border-color: #ffffff;
  cursor: pointer;
}
.seg_code { color: #ccddff; }
.seg_data { color: #aaeeaa; }
.seg_io { color: #ffcccc; }
.seg_stack { color: #ffff66; }
.seg_unknown { color: #cccccc; }
.segment.segment-ram {
  background-color:#aaeeaa;
}
.segment.segment-rom {
  background-color:#ccddff;
}
.segment.segment-io {
  background-color:#ffcccc;
}
.segment-offset {
  font-family: "Andale Mono", "Menlo", "Lucida Console", monospace;
  font-size: 12pt;
  color:#66dd66;
}
.vertical-scroll {
 height:100%;
 overflow-y:auto;
}
div.profiler {
  background-color: #333;
  color: #ddd;
  white-space: pre;
  margin-top: 20px auto 0;
  font-family: "Andale Mono", "Menlo", "Lucida Console", monospace;
  font-size: 10pt;
}
span.profiler-lineno {
  color: #fff;
}
span.profiler-local {
  color: #999;
}
span.profiler-cident {
  color: #99ffff;
}
div.asset_file {
  border: 2px solid black;
  border-radius:8px;
  color: #ddd;
  background-color:#666;
  margin:0.5em;
  padding:1em;
}
div.asset_file select {
  color: #000;
}
div.asset_file_header {
  font-weight: bold;
  color: white;
  background-color: #333;
  border-radius: 8px;
  padding-left: 1em;
}
div.asset_grid {
  line-height:0;
  margin: 1em;
}
div.asset_grid span {
  white-space: nowrap;
}
.asset_cell {
  padding: 0px;
  border: 1px solid black;
}
.asset_cell:hover {
  border: 1px solid white;
}
.asset_cell.selected {
  border: 1px dotted white !important;
  box-shadow: 0px 0px 1em rgba(255,255,255,1);
}
td.asset_editable {
  padding:0.3em;
  font-family: "Andale Mono", "Menlo", "Lucida Console", monospace;
}
div.asset_dual {
  display: flex;
  align-items: center;
}
div.asset_dual table {
  border-spacing: 10px;
  border-collapse: separate;
}
div.asset_editor {
  border-radius:16px;
  padding:16px;
  margin:16px;
  background-color:#999;
  display:flex;
  flex-direction:column;
  align-items:center;
}
div.asset_toolbar {
  padding:8px;
  margin:8px;
}
.control-insns {
  margin-top: auto;
  margin-bottom: 2em;
}
.control-key {
  border: 2px solid rgba(0,0,0,0.2);
  border-radius: 0.6em;
  padding: 0.2em;
  padding-left: 0.5em;
  padding-right: 0.5em;
  background-color: #eee;
  margin-left: 1em;
  color: #666;
}
.control-def {
  color: #ccc;
}
.book-title {
  font-size:12pt;
}
.pc-console {
  background-color: #000;
  color: #7f7f7f;
  white-space: pre;
  font-family: "Andale Mono", "Menlo", "Lucida Console", monospace;
  font-size: 10pt;
  line-height: 1.2;
}