Improve appearance on smaller screens

2 files changed, 9 insertions, 19 deletions

diff --git a/util/gh-pages/index.html b/util/gh-pages/index.html
index 2f586077af5..1171da3f4e5 100644
--- a/util/gh-pages/index.html
+++ b/util/gh-pages/index.html
@@ -98,21 +98,25 @@ Otherwise, have a great day =^.^=
             }
         }
 
-        @media (min-width: 400px) {
+        @media (min-width: 405px) {
             #upper-filters {
                 display: flex;
             }
         }
 
-        @media (max-width: 412px) {
+        @media (max-width: 430px) {
+            /* Turn the version filter list to the left */
             #version-filter-selector {
                 right: 0;
                 left: auto;
             }
+        }
 
-            <!-- TODO -->
-            #version-filter-count {
-                display: none;
+        @media (max-width: 412px) {
+            #upper-filters,
+            .panel-body .search-control  {
+                padding-right: 8px;
+                padding-left: 8px;
             }
         }
 
diff --git a/util/gh-pages/script.js b/util/gh-pages/script.js
index 174758ad931..c3250afdea2 100644
--- a/util/gh-pages/script.js
+++ b/util/gh-pages/script.js
@@ -215,20 +215,6 @@
                             default:
                                 return true
                         }
-
-                        let cmpFilter;
-                        if (filter === "≥") {
-                            cmpFilter = "≤";
-                        } else {
-                            cmpFilter = "≥";
-                        }
-
-                        if (filters[cmpFilter].enabled) {
-                            let cmpMinorVersion = filters[cmpFilter].minorVersion;
-                            return (cmpFilter === "≥") ? (lintMinorVersion >= cmpMinorVersion) : (lintMinorVersion <= cmpMinorVersion);
-                        }
-
-                        return true;
                     }
                 }