diff --git a/share/tools/web_config/index.html b/share/tools/web_config/index.html
index 25699e2ac..29cad94e6 100644
--- a/share/tools/web_config/index.html
+++ b/share/tools/web_config/index.html
@@ -97,12 +97,12 @@ function interpret_color(str) {
fish
-
colors
-
prompt
-
functions
-
variables
-
history
-
bindings
+
colors
+
prompt
+
functions
+
variables
+
history
+
bindings
diff --git a/share/tools/web_config/js/controllers.js b/share/tools/web_config/js/controllers.js
index d4c48352f..f6fe26dea 100644
--- a/share/tools/web_config/js/controllers.js
+++ b/share/tools/web_config/js/controllers.js
@@ -7,15 +7,6 @@ controllers.controller("main", function($scope, $location) {
$location.path(view);
$scope.currentTab = view;
}
-
- $scope.tabCssClass = function(view) {
- var cls = "tab";
- if ($scope.currentTab == view) {
- cls += " selected_tab";
- }
- return cls;
- }
-
})
controllers.controller("colorsController", function($scope, $http) {