/*
@colors: {
    light:      #ffffdd;
    dark:       #2d2d2d;
    primary:    #393939;
    secondary:  #f2775f;
    info:       #f5660d;
    success:    #05a360;
    warning:    #f2775f;
    danger:     #ee2202;
}
*/
.unselectable {
  -moz-user-select: none;
  -webkit-user-select: none;
  -ms-user-select: none;
  -o-user-select: none;
  user-select: none;
}
.boxproof {
  -moz-user-select: none;
  -webkit-user-select: none;
  -ms-user-select: none;
  -o-user-select: none;
  user-select: none;
}
html {
  height: 100%;
  width: 100%;
  overflow: hidden;
  box-sizing: border-box;
}
*,
*:before,
*:after {
  box-sizing: inherit;
}
body {
  overflow: hidden;
  margin: 0;
  padding: 0;
  height: 100%;
  width: 100%;
  font-family: Helvetica, Arial, FreeSans, sans-serif;
  font-size: 14px;
}
.bar {
  -moz-user-select: none;
  -webkit-user-select: none;
  -ms-user-select: none;
  -o-user-select: none;
  user-select: none;
  background-color: #24292E;
  border-bottom: 3px solid #464646;
  color: #f2775f;
  margin: 0;
  padding: 5px;
}
.bar ul {
  list-style-type: none;
  margin: 0;
  padding: 0;
  display: inline;
}
.bar ul li {
  display: inline;
}
.bar ul li .el {
  margin-right: 5px;
}
.bar ul li button {
  border: none;
  height: 32px;
  cursor: pointer;
  margin-left: 10px;
  padding: 0px 10px;
  background-color: #414141;
  color: #ffffdd;
}
.bar ul li button:hover {
  background-color: #4d4d4d;
  transition: 0.2s;
}
#logo {
  height: 45px;
  display: inline;
  height: 100%;
  vertical-align: middle;
  font-size: 18px;
  margin: 0px 15px;
  color: #f2775f;
}
.control {
  -moz-user-select: none;
  -webkit-user-select: none;
  -ms-user-select: none;
  -o-user-select: none;
  user-select: none;
  background-color: #24292E;
  border-bottom: 3px solid #464646;
  color: #f2775f;
  margin: 0;
  padding: 5px;
}
.control ul {
  list-style-type: none;
  margin: 0;
  padding: 0;
  display: inline;
}
.control ul li {
  display: inline;
}
.control ul li .el {
  margin-right: 5px;
}
.control ul li button {
  border: none;
  height: 32px;
  cursor: pointer;
  margin-left: 10px;
  padding: 0px 10px;
  background-color: #414141;
  color: #ffffdd;
}
.control ul li button:hover {
  background-color: #4d4d4d;
  transition: 0.2s;
}
.control .active,
.control .active:hover {
  background-color: #ffffdd;
  color: #24292E;
  cursor: default;
}
.control.inactive {
  background-color: #393939;
  color: #ffffdd;
  cursor: pointer;
}
.control.inactive:hover {
  background-color: #464646;
  transition: 0.2s;
}
.control #themeSelect {
  width: 6em;
}
.control select {
  border: none;
  cursor: pointer;
  background-color: #414141;
  color: #ffffdd;
  margin-left: 10px;
}
#elf {
  width: auto;
  height: 40px;
  float: right;
  margin-right: 10px;
}
/* Proof Styles */
.proof-header {
  font-weight: bold;
}
/* Layout */
#main {
  background-color: #ffffdd;
}
#main #vsplitter,
#main #hsplitter {
  background-color: #6c6c6c;
}
#main #output {
  padding-left: 8px;
  overflow: auto;
  color: #24292E;
  background-color: #ffffdd;
}
#main #output .in-proof,
#main #output .in-box,
#main #output .on-line {
  cursor: pointer;
  color: blue;
  text-decoration: none;
}
#main #output .in-proof:hover,
#main #output .in-box:hover,
#main #output .on-line:hover {
  color: #4d4dff;
}
#main #editor,
#main #output {
  font-family: Source Code Pro, monospace;
  font-size: 12pt;
}
#main #prooftable {
  overflow: auto;
  background-color: white;
}
#main #prooftable .open-indicator {
  color: #b54747;
}
#main #prooftable .closed-indicator {
  color: #7eb547;
}
#main #prooftable #tabPanels div.tabContent {
  overflow: auto;
  margin: 0;
  padding-top: 1em;
  padding-left: 1em;
  padding-right: 1em;
  font-family: 'Droid Serif', serif;
  font-weight: 400;
}
/* Error Marker */
.sequent-error-marker {
  background-color: rgba(255, 0, 0, 0.3);
  border-bottom: 2px solid rgba(255, 0, 0, 0.6);
  position: absolute;
  z-index: 4;
  pointer-events: none;
}