
:root {
  color-scheme: light dark; 
  /* --background-color: gray;*/
  --code-symbol: gainsboro;
  --code-number:  gold;
  --code-string: MediumSeaGreen;
  --code-keyword: gold;
  --code-error: salmon;
  --code-bool: deepskyblue;
  --code-define: mediumorchid;
  --code-var: var(--code-symbol);
  --code-call: dodgerblue;
  --code-prop: var(--code-var);
  --code-highlight: rgba(238, 148, 0, 0.4); 
  --instarepl-background: green;
  --instarepl-define: rebeccapurple;
  --instarepl-error: red;
  --instarepl-warning: goldenrod;

}

html,
body {
  height: 100vh;
  margin: 0;
	display: flex;
  flex-flow: column;
  flex-direction: column; */
  /* background-color: var(--background-color); */
}

header nav {
  display: flex;
  display: none; 
  margin: 0;
  padding: 0;
	min-height: 2em;
	background-color: rgb(55,0,255);
	color: white;  
  align-items: stretch;
  justify-content: space-between;                       
}

header nav .brand {
  margin-left: 1em;
  display: inline-block;
  align-self: center;
  vertical-align: middle;
	font-weight: bold;
}

dark-mode-toggle {
  margin: auto;
}

dark-mode-toggle::part(toggleLabel)::before {
  backdrop-filter: grayscale(100%);
  filter: grayscale(100%);
  vertical-align: middle;
  margin: auto;
}

#root {
  display: flex;
  flex-flow: column;
  height: 100%;
}

#canvas {
  position: relative;
  flex: 1 1 auto;
}

#canvas main {
	width: 100vw;
  height: 100%;
  background-color: var(--background-color);
}

div.horizontal.Pane1 {
  flex: 1 0 0% !important;
  overflow: hidden;
}

/* pareditor (editor & console) */

.pareditor {
  display:flex;
	width: 100%;
  height: 100%;
	font-size: 16px;
	font-family: monospace;
  padding-top: 0.5em;
  line-height: normal;
  overflow: scroll;
}

.pareditor .content {
	margin: 0px;
	padding: 0px 5px;
	outline: 0px solid transparent;
	white-space: pre;
	word-wrap: normal;
	background-color: var(--background-color);
  height: 100%;
}

/* Console */

#console {
  width: 100%;
  height: 100%;
  background-color: var(--background-color);
}

#console .content {
  width: 100%;
}

/* Instarepl */

.pareditor .instarepl {
	/*float: left;*/
	position: relative;
	display: list-item;
	padding-right: 5px;
	min-width: 150px;
	max-width: 150px;
  margin-left: 0.4em;
}

.pareditor .instarepl:not(:hover) {
  opacity: 0.8;
}

html:not(.instarepl-enabled) .pareditor .instarepl {
  min-width: 10px;
	max-width: 10px;
  display: none;
}

html:not(.instarepl-enabled) .pareditor .instarepl .result {
  min-width: 5px;
	max-width: 5px;
  text-indent: -9999px;
  opacity: 0.2
}

.pareditor .instarepl .result {
	position: absolute;
	overflow: hidden;
	outline: 1px solid;
	max-width: inherit;
	word-wrap: break-word;
	right: 0px;
	opacity: 0.9;
	white-space: break-spaces;
  padding-left: 0.3em;
  padding-right: 0.2em;
  height: 1.2em !important;
  min-height: 1.2em !important;
}

.pareditor .instarepl .result:hover {
	cursor: pointer;
	height: auto !important;
	z-index: 1;
	opacity: 1;
}

.pareditor .instarepl .result {
  background-color: var(--instarepl-background); 
}

.pareditor .instarepl .result.definition{
	background-color: var(--instarepl-define);
}

.pareditor .instarepl .error {
	background-color: var(--instarepl-error);
  font-size: smaller;
}

.pareditor .instarepl .result.warning {
	background-color: var(--instarepl-warning);
  font-size: smaller;
}

/* Editor */

#editor > .SplitPane > div.vertical.Pane1 {
  overflow-x: hidden;
}

#editor > .SplitPane > div.vertical.Pane2:empty {
  display: none;
}

#editor .codepane {
  display: flex;
  flex: 1;
  height: max-content;
  overflow-x: hidden;
  margin-bottom: 1em;
}

#editor .linecount {
	padding: 0px 5px;
	text-align: right;
	opacity: 0.2;
  border-right: 1px solid #ddd3;
  margin-right: 0.2em;
  margin-left: 0.4em;
}

#editor .content-wrapper {
  padding-left: 0.3em;
  overflow-x: auto;
}

#editor .content-wrapper { 
  scrollbar-width: none; 
  -ms-overflow-style: none;
}

#editor .content-wrapper::-webkit-scrollbar { 
  display: none; 
}

#editor .content-wrapper.content .cursor {
  /*text-decoration: underline;*/
  width: 0.001px;
  overflow: hidden;
}

#editor .content {
}

/* content */

.pareditor .content span.error {
  caret-color: var(--code-error);
}

.pareditor .content span.error:empty {
  display: inline-block;
	width: 0em;
  margin-right: 0.4rem;
	/*height: 0.5em;
  line-height: 50% !important;
  margin-top: 0.5em;
  background-color: var(--code-error);
	border-radius: 0.3em;*/
}

.pareditor .content span.error:empty::after {
  display: inline-block;
  content: '\00B7';
  position: relative;
  left: 0rem;
  top: 0.125rem;
  line-height: 50% !important;
  width: 0.5rem;
  height: 0.5rem;
  margin-right: 0.5em;
  background-color: var(--code-error);
  color: var(--code-error);
  overflow: visible;
  border-radius: 50%;
  opacity: 0.8;
  caret-color: var(--code-error);
}

.pareditor .content span.error:not(:empty) {
  color: var(--code-error);;
}

.pareditor .error-text {
  /* Dialog generated by show-error-message! */
  z-index: 999;
  border: thin solid var(--code-error);
  opacity: 0.9;
  border-radius: 0.5em;
  padding: 0.2em;
  margin-left: 1em;
  margin-top: -3em;
}

.pareditor .content > .collection.highlight {
  /*background-color: var(--code-highlight) !important;*/
  border-color: var(--instarepl-error) !important;
  border-style: dashed !important;
}

.pareditor .content .collection span.highlight:not(.collection) {
    /*color: var(--instarepl-error) !important;*/
    text-decoration: underline double var(--instarepl-error) !important;
    text-decoration-style: wavy !important; 
    white-space: pre;
    text-decoration-skip: none;
    text-decoration-skip-ink: none;
}

.pareditor .content .collection.highlight > .delimiter {
	color: var(--instarepl-error) !important;
}

.pareditor .content .highlight .highlight {
  /* Short content is double-highlighted (as wavy underline may not show) */
  color: var(--instarepl-error) !important;
}


.pareditor .content .collection > .delimiter {
	color: gray;
}

.pareditor .content .collection > .delimiter {
	opacity: 0.6;
}

.pareditor .content .collection > .delimiter:first-child {
	opacity: 0.9;
}

/*
.pareditor .content .collection.list > .delimiter:first-child {
  vertical-align: top;
}

.pareditor .content .collection.list > .delimiter {
  font-size: smaller;
}*/

.pareditor .content .symbol {
	color: var(--code-symbol);
}

.pareditor .content .number {
	color: var(--code-number);
}

.pareditor .content .string {
	color: var(--code-string); 
}

.pareditor .content .keyword {
	color: var(--code-keyword);
}

.pareditor .content .nil {
	color: var(--code-error);
}

.pareditor .content .boolean {
	color: var(--code-bool);
}


/* Top level definitions */
.pareditor .content > span.list > span.symbol:nth-child(2)  {
	color: var(--code-define);
}

.pareditor .content span.map > span:nth-of-type(2n).symbol  {
	color: var(--code-prop);
}

.pareditor .content .collection.list.focused-form > .delimiter {
  /* text-decoration: underline solid #8888;*/
  font-weight: 900;
}

/* First symbol in form */
.pareditor .content .list > .symbol:nth-child(2) {
  color: var(--code-call);
}

.pareditor .content .collection.list > .symbol[data-content='let'] + .collection.list > .collection.list > .symbol:nth-child(2){
  color: var(--code-var);
}

.pareditor .content > .collection.list > .symbol[data-content='define-data-var'] + .symbol {
  color: var(--code-var);
}

.pareditor .content > .collection.list > .symbol[data-content='define-constant'] + .symbol {
  color: var(--code-var);
}

.pareditor .content > .collection.list > .symbol[data-content|='define'] + .list > .symbol ~ .list > .symbol:nth-child(2) {
  color: var(--code-var);
}

/* BLOCKS MODE ----------------- */

.blocks-enabled .pareditor .linecount {
  visibility: hidden;
  background-color: gray;
  flex: 1 1 auto;
  max-width: 1em;
  float: none;
}

.blocks-enabled .pareditor .linecount div {
  visibility: hidden;
}

.blocks-enabled main .pareditor .content {

}

.blocks-enabled main .pareditor .content > span.collection {
    display: inline-block;
    width: fit-content; /* better UX than inline-block, without getting containers on same line*/
    background-color: var(--block-background);
    border: medium solid rgba(127, 127, 127, 0.2);
    -moz-box-sizing: border-box;
    -webkit-box-sizing: border-box;
    box-sizing: border-box;
    border-radius: 0.5em;
    position: relative;
    margin-top: -0.0em;
    margin-bottom: -0.1em;
    padding-top: 0.2em;
    padding-bottom: 0.2em;
    padding-right: 0.5em;
    padding-left: 0.5em;
    left: -0.5em;
    z-index: 0;
}

.blocks-enabled main .pareditor .content > .collection::after {
  content: ' ';
}

.blocks-enabled main .pareditor .content > .collection:hover {
   box-shadow: 0 0 5px 2px rgba(127, 127, 127, 0.2);
   z-index: 100;
}


.blocks-enabled main .pareditor .content > .collection.focused-form:after {
  /*content: "\00000a";
  height: 1em;*/
}

.blocks-enabled main .pareditor .content > .focused-toplevel {
  border-width: medium;
  z-index: 2;
}

.blocks-enabled main .pareditor .content > span:not(.focused-toplevel) {
  border-color: transparent;
}

.blocks-enabled main .pareditor .content > .collection .collection.focused-form {
  border-radius: 0.2em;
}

.pareditor .content > .collection.focused-form > .delimiter:last-child::after {
	/* content: "\00000a\00000a"; */
}

.blocks-enabled main .pareditor .content > span:not(.collection) {
}

.blocks-enabled .instarepl {
  margin-left: 0.5em;
}

.blocks-enabled .instarepl .result {
  outline: 0px solid;
  border: 1px solid;
  border-radius: 0.5em;
  padding-left: 0.5em;
  padding-top: 0.2em;
  padding-right: 0.3em;
  height: 1.7em !important;
  min-height: 1.7em !important;
}

.blocks-enabled .pareditor .instarepl .result:hover {
   box-shadow: 0 4px 8px 0 rgba(127, 127, 127, 0.2), 0 6px 20px 0 rgba(127, 127, 127, 0.19);
}

/* SPLIT PANE RESIZING */

.Resizer {
  background: #000;
  opacity: 0.2;
  z-index: 1;
  -moz-box-sizing: border-box;
  -webkit-box-sizing: border-box;
  box-sizing: border-box;
  -moz-background-clip: padding;
  -webkit-background-clip: padding;
  background-clip: padding-box;
}

.Resizer:hover {
  -webkit-transition: all 2s ease;
  transition: all 2s ease;
}

.Resizer.horizontal {
  height: 11px;
  margin: -5px 0;
  border-top: 5px solid rgba(255, 255, 255, 0);
  border-bottom: 5px solid rgba(255, 255, 255, 0);
  cursor: row-resize;
  width: 100%;
}

.Resizer.horizontal:hover {
  border-top: 5px solid rgba(0, 0, 0, 0.5);
  border-bottom: 5px solid rgba(0, 0, 0, 0.5);
}

.Resizer.vertical {
  width: 11px;
  margin: 0 -5px;
  border-left: 5px solid rgba(255, 255, 255, 0);
  border-right: 5px solid rgba(255, 255, 255, 0);
  cursor: col-resize;
}

.Resizer.vertical:hover {
  border-left: 5px solid rgba(0, 0, 0, 0.5);
  border-right: 5px solid rgba(0, 0, 0, 0.5);
}
.Resizer.disabled {
  cursor: not-allowed;
}
.Resizer.disabled:hover {
  border-color: transparent;
}

