animation-demo {
  display: block;
  display: block; }
  animation-demo:after {
    content: ".";
    display: block;
    clear: both;
    visibility: hidden;
    line-height: 0;
    height: 0; }
  animation-demo button {
    margin-left: 10px; }
  animation-demo select {
    float: left;
    padding: 5px; }
  animation-demo .animation-demo > * {
    float: left;
    background: #565656;
    color: white;
    clear: both;
    padding: 10px;
    -moz-border-radius: 3px;
         border-radius: 3px;
    margin-top: 10px;
    -moz-box-shadow: 0 2px 20px -5px black;
         box-shadow: 0 2px 20px -5px black;
    z-index: 1;
    border: 1px solid #3d3d3d; }
    animation-demo .animation-demo > * span {
      font-weight: bold;
      background: rgba(255, 255, 255, 0.3);
      padding: 5px;
      margin-left: 10px; }

sequence-demo {
  display: block;
  display: block; }
  sequence-demo:after {
    content: ".";
    display: block;
    clear: both;
    visibility: hidden;
    line-height: 0;
    height: 0; }
  sequence-demo .list {
    display: block;
    min-height: 315px;
    margin-top: 10px; }
    sequence-demo .list:after {
      content: ".";
      display: block;
      clear: both;
      visibility: hidden;
      line-height: 0;
      height: 0; }
    sequence-demo .list person + person {
      margin-top: 5px; }

person {
  display: block;
  display: block; }
  person:after {
    content: ".";
    display: block;
    clear: both;
    visibility: hidden;
    line-height: 0;
    height: 0; }
  person > * {
    display: block;
    float: left;
    width: 100px;
    text-align: center;
    clear: both;
    border: 1px solid #3d3d3d;
    color: #ffffff;
    background: #565656;
    padding: 0 5px;
    -moz-border-radius: 3px;
         border-radius: 3px;
    z-index: 1; }

.codehilite::-webkit-scrollbar {
  height: 1.5rem !important; }

.lib-version {
  font-weight: bold; }