﻿/* General Styles */
dt, dd { font-size: 8pt; }
code { font-family: monospace; }

/* Overall Page Structure */

#display-panel {
  position: absolute;
  top: 0px;
  left:0px;
  height: 400px;
  width:500px;
}
.multi #display-panel {
  height: 315px;
}

#input-panel {
  position: absolute;
  bottom:20px;
  height: 65px;
  width:500px;
}
.multi #input-panel {
  height: 150px;
}

.panel {
  overflow: hidden;
}

.inner {
  position: absolute;
  margin: 0; padding: 0;
  left: 0; right: 0; top: 0; bottom: 0;
  overflow: hidden;
}


.snippet pre {
  white-space: pre-wrap;
  margin-top: 0px; margin-bottom: 5px;
  padding: 2px;
  background-color: #eeeeee;
}
.snippet pre:hover {
  background-color: white;
}

/* Graphical and Textual Display */

#display {
  position: absolute;
  overflow: hidden;
  top: 0px; bottom: 0px;
  border: 0px solid silver;
  background-color: white;
  left: 0px; right: 0px;
}
#display #error {
  position: absolute;
  padding: 3px 20px;
  bottom: 0;
  border-radius: 2px;
  font-size: 14pt;
  font-weight: bold;
  color: white;
  background-color: #e01010;
  display: none;
  z-index: 99;
  left: 0; right: auto;
}

#display #error.shown {
  display: block;
}

#sandbox {
  position: absolute;
  z-index: 0;
}

#sandbox span {
  /* Error in case of no canvas */
  color: red; background-color: yellow; font-weight: bold;
}

#turtle {
  position: absolute; z-index: 1;
}

#overlay {
  left: 0; top: 0; right: 0; bottom: 0;
  padding: 10px;
  margin: 0;
  position: absolute;
  z-index: 2;
  background-color: transparent;
  overflow: hidden;
  white-space: pre-wrap;
  font-family: Monospace;
}

/* User Input */

#input {
  position: absolute;
  overflow: hidden;
  top: 5px; bottom: 10px;
  border: 2px solid black;
  border-radius: 5px;
  color: black;
  background-color: white;
  left: 10px; right: 85px;
  text-align:left;
}

#logo-cm-multi-line,
#logo-cm-single-line,
#logo-ta-single-line,
#logo-ta-multi-line {
  position: absolute;
  overflow: hidden;
  left: 0; top: 0; right: 0; bottom: 0;
  font-family: monospace;
  display: none;
}

.single #logo-cm-single-line,
.single #logo-ta-single-line,
.multi #logo-cm-multi-line,
.multi #logo-ta-multi-line {
  display: block;
}

.CodeMirror .CodeMirror-placeholder { color: gray; font-style: italic; }

#logo-cm-single-line .CodeMirror-hscrollbar,
#logo-cm-single-line .CodeMirror-vscrollbar { visibility: hidden; }

#logo-cm-single-line.CodeMirror {
  position: absolute;
  top: 0; bottom: 0; left: 0; right: 0;
  margin: auto;
}

.single #logo-cm-single-line,
.single #logo-ta-single-line {
  font-size: 12pt;
  display: block;
}

#input #toggle {
  cursor: pointer;

  position: absolute;
  overflow: hidden;
  z-index: 1000;
  top: 1px;
  width: 20px; height: 20px;
  text-shadow: 0 0 1px black;
  left: auto; right: 1px;
}
[dir=rtl] #input #toggle {
  right: auto; left: 1px;
}
.single #toggle #collapse-label { display: none; }
.multi  #toggle #expand-label { display: none; }

#run, #stop, #clear {
  cursor: pointer;
  -webkit-user-select: none;
  -moz-user-select: none;
  -ms-user-select: none;
  user-select: none;

  position: absolute;
  border: 2px solid black;
  border-radius: 5px;
  background-color: white;
}

#run, #stop {
  top: 5px; bottom: 35px; width: 70px;
}

#run, #stop {
  top: 5px; bottom: 35px; width: 70px;
}

#run { display: block; }
#stop { display: none; }
.running #run { display: none; }
.running #stop { display: block; }

#clear {
  height: 19px; bottom: 10px; width: 70px;
}

#run, #stop, #clear {
  right: 5px; left: auto;
}
[dir=rtl] #run, [dir=rtl] #clear, [dir=rtl] #stop {
  left: 5px; right: auto;
}

#run:hover, #clear:hover, #stop:hover {
  background-color: #eeeeee;
}

#run .label, #clear .label, #stop .label {
  position: absolute;
  top: 0; bottom: 0; left: 0; right: 0;
  margin: auto;
  height: 20px;
  text-align: center;
  display: block;
}

#history .placeholder {
  text-align: center;
  font-style: italic;
  padding: 50px;
}
#history .snippets:not(:empty) + .placeholder {
  display: none;
}


