anchor.diff:    margin-bottom: 15px;
     @include box_sizing;
   }
  -
  -// input {
  -//   height: auto !important;
  -// }
   
   input[type="checkbox"] {
     margin-bottom: 15px;
  
positive.code: 
  // Universal
  
  // body {
  //   padding-top: 60px;
  //   font-family: 'Gudea', sans-serif;
  // }
  
  section {
    overflow: auto;
    margin-bottom: 10px;
  }
  
  // h1, h2, h3, h4, h5, h6 {
  //   line-height: 1;
  // }
  
  // h1 {
  //   font-size: 3em;
  //   margin-bottom: 30px;
  //   text-align: center;
  // }
  
  // p {
  //   font-size: 1.1em;
  //   line-height: 1.7em;
  // }
  
  // .center {
  //   text-align: center;
  // }
  
  nav.paginator {
    display: block;
  
negative.code:   margin-top: -14px;
  }
  
  
  .debug_dump {
    clear: both;
  