/**
section[data-run-in-terminal] {
    height: 100%;
    top: 0;
  }
  
  section[data-run-in-terminal] .container {
    overflow: hidden;
  }
  
  section[data-run-in-terminal] .title {
    float: left;
    font-size: 0.5em;
    color: gray;
    font-family: monospace;
    text-indent: 3em;
  }
  
  section[data-run-in-terminal] pre {
    width: 100%;
    white-space: pre-wrap;
    background: none;
    box-shadow: none;
    margin: 0px;
  }
  
  section[data-run-in-terminal] pre.code {
    padding: 0.5em 0 1em;
    counter-reset: line;
    padding-left: 3em;
    width: 90%;
  }
  
  section[data-run-in-terminal] pre.code span.line:before {
    counter-increment: line;
    content: counter(line);
    display: inline-block;
    border-right: 1px solid gray;
    padding: 0 .25em 0 0;
    text-align: right;
    min-width: 1.5em;
    color: gray;
    position: absolute;
    left: 0;
  }
  */
  
  section[data-run-in-terminal] pre.term {
    padding-top: 1em;
    box-shadow: none;
  }  
  
  section.no-run[data-run-in-terminal] pre.term { display: none; }