diff --git a/share/tools/web_config/themes/none.theme b/share/tools/web_config/themes/none.theme
index 639a3acfa..3297c5811 100644
--- a/share/tools/web_config/themes/none.theme
+++ b/share/tools/web_config/themes/none.theme
@@ -16,6 +16,7 @@ fish_color_keyword
 fish_color_match
 fish_color_normal normal
 fish_color_operator
+fish_color_option
 fish_color_param
 fish_color_quote
 fish_color_redirection