table.dex-listing
{
  border: solid 1px #808080;
  text-align: center;
  margin-top: 1.5em;
  margin-bottom: 1.5em
}

table.dex-listing caption
{
  font-weight: bold;
  padding: 0.2em;
  background-color: #404040;
  color: white
}

table.stack
{
  margin-top: 1.5em;
  margin-bottom: 1.5em
}

table.stack td
{
  border: solid 1px black;
  padding: 0.25em;
  text-align: center
}

table.stack th
{
  padding-right: 1em;
  text-align: right
}

td.faded
{
  background-color: #c0c0c0
}

table.stack td.noborder
{
  border: none;
  text-align: left;
  padding-left: 1em
}