.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;
  width: 45%;
  max-height: 55px;
  overflow: auto;
}

.highlight {
  background: #ffc;
}

.example code {
/*  white-space: pre;*/
}
.content {
  height: 100px;
}
.demo-container {
  float: right;
  width: 50%;
  height: 80px;
  overflow: auto;
  border: 1px solid #000;
  background: #fff;
  padding: 10px;
}
.demo-box {
  height: 50px;
  overflow: auto;
  background: #cff;
  border: 1px solid #009;
  padding: 5px;
}

.insertion, #insertion {
  background: #fcf;
  border: 1px solid #900;
  margin:2px 0;
  padding: 2px;
}