body {
  background-color: white;
  color: black;
}

.Isaac-Table {
  border: 1px solid black;
}
.Isaac-Table th {
  border: 2px solid black;
  background-color: #444;
  color: white;
}
.Isaac-Table td {
  border: 1px solid black;
  background-color: #0ff;
}
/* will be supported soon */
.Isaac-Table tr.in_design td,
.Isaac-Table td.in_design {
  background-color: #008000;
  color: white;
}
/* not supported but might be in the future */
.Isaac-Table tr.nsm td,
.Isaac-Table td.nsm {
  background-color: #00f;
  color: white;
}
.Isaac-Table tr.inf td,
.Isaac-Table td.inf {
  background-color: #ff0;
}
.Isaac-Table tr.deprecated td,
.Isaac-Table td.deprecated {
  background-color: #ffa500;
}
.Isaac-Table tr.ns td,
.Isaac-Table td.ns {
  background-color: #f00;
}
.Isaac-Table tr.ns td,
.Isaac-Table td.unused {
  background-color: #777;
}
/* TODO this */
.Isaac-Table tr.nsm td a:link {
  color: #bf0;
}
.Isaac-Table tr.nsm td a:link:hover {
  color: #df3;
}
.Isaac-Table tr.nsm td a:visited:hover {
  color: #fd3;
}
.Isaac-Table tr.nsm td a:visited {
  color: #fb0;
}
.Isaac-Table tr.nsm td a:active {
  color: #ff7;
}
.kw-var {
  color: #00f;
  font-weight: bold;
}
.kw-type {
  color: #f0f;
  font-weight: bold;
}
.section {
  border: solid 1px #808080;
  margin: 10px;
  padding: 4px;
}
ul.stack {
  list-style-type: none;
  display: inline-block;
  padding: 0px;
}
ul.stack > li {
  /* float: left;*/
  display: inline;
  padding: 10px;
  border: solid 1px black;
  background-color: #0c0;
}

body.dark-mode {
  background-color: black;
  color: white;
}
body.dark-mode .Isaac-Table {
  border: 1px solid white;
}
body.dark-mode .Isaac-Table th {
  border: 2px solid #444;
  background-color: #111;
  color: white;
}
body.dark-mode .Isaac-Table td {
  border: 1px solid white;
  background-color: #006464;
}
/* will be supported soon */
body.dark-mode .Isaac-Table tr.in_design td,
body.dark-mode .Isaac-Table td.in_design {
  background-color: #060;
  color: white;
}
/* not supported but might be in the future */
body.dark-mode .Isaac-Table tr.nsm td,
body.dark-mode .Isaac-Table td.nsm {
  background-color: #0000e7;
  color: white;
}
body.dark-mode .Isaac-Table tr.inf td,
body.dark-mode .Isaac-Table td.inf {
  background-color: #aa0;
}
body.dark-mode .Isaac-Table tr.deprecated td,
body.dark-mode .Isaac-Table td.deprecated {
  background-color: #a60;
}
body.dark-mode .Isaac-Table tr.ns td,
body.dark-mode .Isaac-Table td.ns {
  background-color: #a00;
}
body.dark-mode .Isaac-Table tr.unused td,
body.dark-mode .Isaac-Table td.unused {
  background-color: #333;
}
/* TODO this */
body.dark-mode .Isaac-Table tr.nsm td a:link {
  color: #bf0;
}
body.dark-mode .Isaac-Table tr.nsm td a:link:hover {
  color: #df3;
}
body.dark-mode .Isaac-Table tr.nsm td a:visited:hover {
  color: #fd3;
}
body.dark-mode .Isaac-Table tr.nsm td a:visited {
  color: #fb0;
}
body.dark-mode .Isaac-Table tr.nsm td a:active {
  color: #ff7;
}
body.dark-mode .kw-var {
  color: blue;
  font-weight: bold;
}
body.dark-mode .kw-type {
  color: #f0f;
  font-weight: bold;
}
body.dark-mode .section {
  border: solid 1px grey;
  margin: 10px;
  padding: 4px;
}
body.dark-mode ul.stack {
  list-style-type: none;
  display: inline-block;
  padding: 0px;
}
body.dark-mode ul.stack > li {
  /* float: left;*/
  display: inline;
  padding: 10px;
  border: solid 1px white;
  background-color: #070;
}

#legend {
  padding: 8px;
  border: solid 1px black;
  display: inline-block;
}
body.dark-mode #legend {
  border: solid 1px #2f2f2f;
}