From 67f50661eb02dc9cd4a4ae6917ce10127f3316c9 Mon Sep 17 00:00:00 2001
From: Michael Howell <michael@notriddle.com>
Date: Sat, 16 Feb 2019 13:16:50 -0700
Subject: [PATCH] Use normal HTML label semantics for filter

I legitimately don't understand why you did it with ARIA instead.
---
 util/gh-pages/index.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/util/gh-pages/index.html b/util/gh-pages/index.html
index 1a8495951a4..6cbbeea0644 100644
--- a/util/gh-pages/index.html
+++ b/util/gh-pages/index.html
@@ -76,8 +76,8 @@
                 <div class="panel-body row">
                     <div class="col-md-12 form-horizontal">
                         <div class="input-group">
-                            <span class="input-group-addon" id="filter-label">Filter:</span>
-                            <input type="text" class="form-control" placeholder="Keywords or search string" aria-describedby="filter-label" ng-model="search" />
+                            <label class="input-group-addon" id="filter-label" for="filter-input">Filter:</label>
+                            <input type="text" class="form-control" placeholder="Keywords or search string" id="filter-input" ng-model="search" />
                             <span class="input-group-btn">
                                 <button class="btn btn-default" type="button" ng-click="search = ''">
                                     Clear