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;
}
+ }
-
- #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;
}
}