enclose-io/compiler

table.calltree {
  width : 100%;
}

td {
  padding-top: 0.1em;
  padding-bottom: 0.1em;
}

.numeric {
  width : 12ex;
}

.numeric-hidden {
  display : none;
}

body {
  font-family: 'Roboto', sans-serif;
}

#source-status {
  display: inline-block;
}

.tree-row-arrow {
  margin-right: 0.2em;
  text-align: right;
}

.code-type-chip {
  border-radius : 1em;
  padding : 0.2em;
  background-color : #4040c0;
  color: #ffffff;
  font-size : small;
  box-shadow: 0 2px 5px 0 rgba(0, 0, 0, 0.16), 0 2px 10px 0 rgba(0, 0, 0, 0.12);
}

.tree-row-name {
  margin-left: 0.2em;
  margin-right: 0.2em;
}

.codeid-link {
  text-decoration: underline;
  cursor: pointer;
}

.view-source-link {
  text-decoration: underline;
  cursor: pointer;
  font-size: 10pt;
  margin-left: 0.6em;
  color: #555555;
}

#source-viewer {
  border: 1px solid black;
  padding: 0.2em;
  font-family: 'Roboto Mono', monospace;
  white-space: pre;
  margin-top: 1em;
  margin-bottom: 1em;
}

#source-viewer td.line-none {
  background-color: white;
}

#source-viewer td.line-cold {
  background-color: #e1f5fe;
}

#source-viewer td.line-mediumcold {
  background-color: #b2ebf2;
}

#source-viewer td.line-mediumhot {
  background-color: #c5e1a5;
}

#source-viewer td.line-hot {
  background-color: #dce775;
}

#source-viewer td.line-superhot {
  background-color: #ffee58;
}

#source-viewer .source-line-number {
  padding-left: 0.2em;
  padding-right: 0.2em;
  color: #003c8f;
  background-color: #eceff1;
}

div.mode-button {
  padding: 1em 3em;
  display: inline-block;
  background-color: #6070ff;
  color : #ffffff;
  margin: 0 0.2em 2em 0;
  box-shadow: 3px 3px 2px #d0d0ff;
}

div.mode-button:hover {
  background-color: #4858ff;
}

div.active-mode-button {
  background-color: #0000ff;
  box-shadow: 3px 3px 2px #a0a0ff;
}

div.active-mode-button:hover {
  background-color: #0000ff;
}