/* GitHub Theme */
.prettyprint {
    background: #fff;
    font-family: Menlo, 'Bitstream Vera Sans Mono', 'DejaVu Sans Mono', Monaco, Consolas, monospace;
    font-size: 1.2rem;
    padding: 2.5rem 3rem;
    -webkit-font-smoothing: antialiased; 
  }
  
  .pln {
    color: #333333;
  }
  
  @media screen {
    .str {
      color: #dd1144;
    }
  
    .kwd {
      color: #333333;
    }
  
    .com {
      color: #999988;
    }
  
    .typ {
      color: #445588;
    }
  
    .lit {
      color: #445588;
    }
  
    .pun {
      color: #333333;
    }
  
    .opn {
      color: #333333;
    }
  
    .clo {
      color: #333333;
    }
  
    .tag {
      color: navy;
    }
  
    .atn {
      color: teal;
    }
  
    .atv {
      color: #dd1144;
    }
  
    .dec {
      color: #333333;
    }
  
    .var {
      color: teal;
    }
  
    .fun {
      color: #990000;
    }
  }
  @media print, projection {
    .str {
      color: #006600;
    }
  
    .kwd {
      color: #006;
      font-weight: bold;
    }
  
    .com {
      color: #600;
      font-style: italic;
    }
  
    .typ {
      color: #404;
      font-weight: bold;
    }
  
    .lit {
      color: #004444;
    }
  
    .pun, .opn, .clo {
      color: #444400;
    }
  
    .tag {
      color: #006;
      font-weight: bold;
    }
  
    .atn {
      color: #440044;
    }
  
    .atv {
      color: #006600;
    }
  }
  /* Specify class=linenums on a pre to get line numbering */
  ol.linenums {
    margin-top: 0;
    margin-bottom: 0;
  }
  
  /* IE indents via margin-left */
  li.L0,
  li.L1,
  li.L2,
  li.L3,
  li.L4,
  li.L5,
  li.L6,
  li.L7,
  li.L8,
  li.L9 {
    /* */
  }
  
  /* Alternate shading for lines */
  li.L1,
  li.L3,
  li.L5,
  li.L7,
  li.L9 {
    /* */
  }
  
  /* My additional styles */
  
  /*li.L0, li.L1, li.L2, li.L3,
  li.L5, li.L6, li.L7, li.L8
  { list-style-type: decimal !important }*/
  
  .prettyprint li {
    margin-bottom: .3rem;
  }