.unselectable {
  -moz-user-select: none;
  -webkit-user-select: none;
  -ms-user-select: none;
  -o-user-select: none;
  user-select: none;
}
*,
*:before,
*:after {
  box-sizing: inherit;
}
html {
  height: 100%;
  width: 100%;
  overflow: hidden;
  box-sizing: border-box;
}
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: #2d2d2d;
  border-bottom: 3px solid #797979;
  color: #f2775f;
  margin: 0px;
  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: 100%;
  cursor: pointer;
  margin-left: 10px;
  padding: 0px 10px;
  background-color: #393939;
  color: #ffffdd;
}
.bar ul li button:hover {
  background-color: #464646;
  transition: 0.2s;
}
#navbar {
  -moz-user-select: none;
  -webkit-user-select: none;
  -ms-user-select: none;
  -o-user-select: none;
  user-select: none;
  background-color: #2d2d2d;
  border-bottom: 3px solid #797979;
  color: #f2775f;
  margin: 0px;
  padding: 5px;
}
#navbar ul {
  list-style-type: none;
  margin: 0;
  padding: 0;
  display: inline;
}
#navbar ul li {
  display: inline;
}
#navbar ul li .el {
  margin-right: 5px;
}
#navbar ul li button {
  border: none;
  height: 100%;
  cursor: pointer;
  margin-left: 10px;
  padding: 0px 10px;
  background-color: #393939;
  color: #ffffdd;
}
#navbar ul li button:hover {
  background-color: #464646;
  transition: 0.2s;
}
#navbar #langButton,
#navbar #networkSelect {
  width: 6em;
}
#navbar select {
  border: none;
  cursor: pointer;
  background-color: #393939;
  color: #ffffdd;
  margin-left: 10px;
}
#navbar #htplLogo {
  height: 100%;
  width: auto;
  float: left;
  margin-left: 10px;
  margin-right: 10px;
  fill: #f2775f;
  padding-top: 1px;
  padding-bottom: 1px;
}
#navbar #haskellLogo {
  height: 100%;
  width: auto;
  float: right;
  margin-left: 10px;
  margin-right: 10px;
  fill: #f2775f;
}
#tabButtons {
  -moz-user-select: none;
  -webkit-user-select: none;
  -ms-user-select: none;
  -o-user-select: none;
  user-select: none;
  background-color: #2d2d2d;
  border-bottom: 3px solid #797979;
  color: #f2775f;
  margin: 0px;
  padding: 5px;
}
#tabButtons ul {
  list-style-type: none;
  margin: 0;
  padding: 0;
  display: inline;
}
#tabButtons ul li {
  display: inline;
}
#tabButtons ul li .el {
  margin-right: 5px;
}
#tabButtons ul li button {
  border: none;
  height: 100%;
  cursor: pointer;
  margin-left: 10px;
  padding: 0px 10px;
  background-color: #393939;
  color: #ffffdd;
}
#tabButtons ul li button:hover {
  background-color: #464646;
  transition: 0.2s;
}
#tabButtons .active,
#tabButtons .active:hover {
  background-color: #ffffdd;
  color: #2d2d2d;
  cursor: default;
}
#tabButtons.inactive {
  background-color: #393939;
  color: #ffffdd;
  cursor: pointer;
}
#tabButtons.inactive:hover {
  background-color: #464646;
  transition: 0.2s;
}
#main {
  background-color: #ffffdd;
}
#main #vsplitter,
#main #hsplitterLeft,
#main #hsplitterRight {
  background-color: #797979;
}
#main #rightPanel {
  background-color: #ffffdd;
  color: #2d2d2d;
}
#main #rightPanel #infoView,
#main #rightPanel #outputView {
  padding-left: 8px;
  overflow: auto;
}
#main #rightPanel #infoView a.shortened_url {
  text-decoration: none;
}
#main #htplEditor,
#main #cmdsEditor,
#main #outputView,
#main #infoView {
  font-size: 11pt;
}