html, body {
  font-family: sans-serif;
  margin: 0;
}

html {
  scrollbar-color: silver transparent;
}

strong {
  color: dodgerblue;
}

body.embed {
  color: white;
  background-color: #1e1e1e;
}

body.embed input,
body.embed textarea {
  color: white;
}

body.embed .no-embed {
  display: none;
}

.hover-edit {
  color: black;
  text-decoration: none;
}

.embed .hover-edit {
  color: white;
}

.hover-edit:hover {
  color: dodgerblue;
  cursor: pointer;
}

/** icons ************************************/
.icon-lambda {
  height: 28px;
  width: 28px;
  display: inline-block;
  float: left;
  margin: 0;
  background: url('img/icon-lambda.svg') center center no-repeat;
  background-size: contain;
  filter: contrast(0.5);
}

/** list ************************************/
.list {

}

.list > .list-item {
  color: inherit;
  text-decoration: none;
  display: block;
  border: solid gray 1px;
  border-radius: 3px;
  padding: 4px;
  margin: 4px;
  cursor: pointer;
}

.list > .list-item:hover {
  color: dodgerblue;
  border-color: dodgerblue;
  box-shadow: 0 0 4px;
}

/** button ************************************/
.button {
  display: inline-block;
  color: inherit;
  background-color: transparent;
  border: solid 1px;
  padding: 8px 32px;
  margin: 0;
  font-weight: bold;
  border-radius: 3px;
  text-decoration: none;
}

.button:hover {
  box-shadow: 0 0 4px rgba(0,0,0,0.5);
  cursor: pointer;
}

.button-small {
  padding: 8px;
  font-size: 80%;
}

.button-white {
  color: silver;
  border-color: silver;
  background-color: white;
}

.button-white:hover {
  color: #333333;
  border-color: #333333;
}

.button-red {
  color: red;
}

.button-red:hover {
  background-color: rgba(255, 0, 0, 0.2);
}

.button-blue {
  color: dodgerblue;
}

.button-blue:hover {
  background-color: rgba(30, 144, 255, 0.2);
}

.button:disabled {
  opacity: 0.5;
  border-width: 1px;
  padding: 8px 32px;
  background-color: transparent;
  cursor: inherit;
}

.buttons  {
  padding: 16px 4px;
  text-align: center;
}

.buttons > * {
  vertical-align: top;
}

/** inputs ********************************************************************/
.pretty-input {
  min-height: 29px;
  font-family: monospace;
  padding: 6px 4px;
  background-color: transparent;
  border-radius: 3px;
  border: solid silver 1px;
  resize: vertical;
}

.embed .pretty-input {
  color: white;
  background-color: transparent;
}

.embed select.pretty-input {
  color: white;
  background-color: transparent;
}

.embed select.pretty-input option {
  color: silver;
  background-color: black;
}

#monacoeditor .scroll-decoration {
  box-shadow: 0px 3px 3px #0000009c inset;
  z-index: 9;
}

.output {
  font-size: 14px;
  font-family: monospace;
  border-top: solid silver 1px;
  overflow-y: auto;
  max-height: 20vh;
}

.output > div {
  white-space: pre-wrap;
}

.output .close {
  float: right;
  padding: 4px;
  cursor: pointer;
  color: gray;
}

.output .close:hover {
  color: white;
}

.output .log {
  border-top: solid 1px gray;
  white-space: pre-wrap;
}

.output .log[level="LOG"] {
  color: dodgerblue;
}

.output .log[level="INFO"] {
  color: dodgerblue;
}

.output .log[level="ERROR"] {
  color: red;
}



/** page: collection **********************************************************/
#page-collection {

}

#page-collection .row {
  padding: 4px;
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}

#page-collection .row.pretty {
  white-space: pre;
}

#page-collection .row:nth-child(odd) {
  background-color: rgba(128,128,128,0.3);
}

#page-collection .redborder {
  box-shadow: 0 0 4px red;
  background-color: rgba(255,0,0,0.1);
}

/*source: https://cssloaders.github.io/*/
.loader:before {
  content: '';
  width: 24px;
  height: 24px;
  border: 4px solid dodgerblue;
  border-bottom-color: transparent;
  border-radius: 50%;
  display: inline-block;
  box-sizing: border-box;
  animation: rotation 1s linear infinite;
  vertical-align: middle;
  margin-right: 12px;
}

.loader.small:before {
  width: 12px;
  height: 12px;
  margin-right: 0;
  border-width: 3px;
}

@keyframes rotation {
  0% {
    transform: rotate(0deg);
  }
  100% {
    transform: rotate(360deg);
  }
}