diff options
| -rw-r--r-- | util/gh-pages/index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/gh-pages/index.html b/util/gh-pages/index.html index f3aeb07a0eb..88b5c9c3f77 100644 --- a/util/gh-pages/index.html +++ b/util/gh-pages/index.html @@ -425,7 +425,7 @@ Otherwise, have a great day =^.^= </h2> </header> - <div class="list-group lint-docs" ng-class="{collapse: true, in: open[lint.id]}"> + <ul class="list-group lint-docs" ng-if="open[lint.id]" ng-class="{collapse: true, in: open[lint.id]}"> <div class="list-group-item lint-doc-md" ng-bind-html="lint.docs | markdown"></div> <div class="lint-additional-info-container"> <!-- Applicability --> |