.example {
  margin-bottom: 1em;
  padding: 10px;
  border: 1px solid #444;
}

.category h2 {
  margin: 0;
  cursor: pointer;
}

.example h3 {
  margin: 0 0 1em;
  cursor: pointer;

  border-top: 1px solid #ccc;
  border-bottom: 1px solid #ccc;
  background: #e3e3e3;
  padding: 3px;
}
.example code {
  margin-top: 1em;
}
.example .content {
  margin-top: 1em;
}

.button {
  cursor: pointer;
  width: 100px;
  text-align: center;
  padding: 5px;
  margin-top: 1em;
  background-color: #fff;
  border-top: 3px solid #888;
  border-left: 3px solid #888;
  border-bottom: 3px solid #444;
  border-right: 3px solid #444;
}

.log {
  margin-top: 1em;
  border: 1px solid #888;
  padding: 5px;
}

.highlight {
  background: #ffc;
}

.example code {
  white-space: pre;
}
