diff options
Diffstat (limited to 'devtools')
| -rw-r--r-- | devtools/client/themes/webconsole.css | 1 | ||||
| -rw-r--r-- | devtools/shared/css/generated/properties-db.js | 2 |
2 files changed, 0 insertions, 3 deletions
diff --git a/devtools/client/themes/webconsole.css b/devtools/client/themes/webconsole.css index 89bb38628..85c73264c 100644 --- a/devtools/client/themes/webconsole.css +++ b/devtools/client/themes/webconsole.css @@ -14,7 +14,6 @@ a { -moz-user-focus: normal; - -moz-user-input: enabled; cursor: pointer; text-decoration: underline; } diff --git a/devtools/shared/css/generated/properties-db.js b/devtools/shared/css/generated/properties-db.js index 25d9e2d33..eda2c7148 100644 --- a/devtools/shared/css/generated/properties-db.js +++ b/devtools/shared/css/generated/properties-db.js @@ -1440,8 +1440,6 @@ exports.CSS_PROPERTIES = { "supports": [], "values": [ "auto", - "disabled", - "enabled", "inherit", "initial", "none", |