#BogoTabPlaceholder1 { 
  border-width: 1px;
  border-color: black;
  border-style: none solid solid solid;
  background-color: #e0e0e0;
  /* height: 400px; */
  overflow: auto;
  padding: 4px;
  margin: 1px 0 0 0;
}

.bogoTabsActiveLabel {
  text-decoration: none;
  padding: 4px 1em 0 1em;
  font-weight: bold;
  border-style: outset outset none outset;
  border-width: 1px;
  border-color: black;
  font-size: 0.8em;
  color: #fff;
  background-color: #7777ee;
  margin: 0 1em 0 0;
}

.bogoTabsInactiveLabel {
  font-size: 0.8em;
  text-decoration: none;
  padding: 4px 1em 0 1em;
  font-weight: normal;
  border-width: 1px;
  border-color: black;
  border-style: inset;
  color: #000;
  background-color: #aaaaee;
  margin: 0 1em 0 0;
}

.code { 
  background-color: #fff;
  font-family: monospace;
  overflow: auto;
  border: 1px dashed #000;
 }