: 0;
      bottom: 0;
      overflow: scroll;
      margin-left: 50px;
    }

    #search {
      padding: 10px;
    }
  
    #search [type=search] {
      width: 100%;
    }
  </style>

  <script>
    jQuery(function() {
      var classes = $("#classes")
        , classLinks = classes.find("a");

      $("#show-methods").click(function() {
        classes.toggleClass("show-methods");
      });



      $("[type=search]").on('keypress keyup', _.throttle(function() {
        var hidden, query = $(this).val()