anchor.diff:    margin-bottom: 15px;
     @include box_sizing;
   }
  -
  -// input {
  -//   height: auto !important;
  -// }
   
   input[type="checkbox"] {
     margin-bottom: 15px;
  
positive.code:   margin-top: -14px;
  }
  
  
  // .subnav {
  //   height: 36px;
  // }
  
  // <%# .btn-group .btn {
  //   width: 80px;
  // } %>
  
  // .subnav .btn-primary {
  //   min-width: 130px;
  // }
  
  
  // Footer
  
  footer {
    margin-top: 45px;
    padding-top: 5px;
    border-top: 1px solid $gray-medium-light;
    color: $gray-light;
    ul {
      float: right;
      list-style: none;
      li {
        float: left;
        margin-left: 15px;
      }
    }
    a {
      color: $gray;
      &:hover {
        color: $gray-darker;
      }
    }
  }
  
  .debug_dump {
    clear: both;
  
negative.code: 
  // Universal
  
  section {
    overflow: auto;
    margin-bottom: 10px;
  }
  
  nav.paginator {
    display: block;
  