style: Ignore border-image-source when overriding document colors.

Differential Revision: https://phabricator.services.mozilla.com/D10017
This commit is contained in:
Sean Voisen 2018-10-29 10:38:50 +00:00 committed by Emilio Cobos Álvarez
parent a3fcfb6435
commit 62aaf865aa
No known key found for this signature in database
GPG key ID: 056B727BB9C1027C
2 changed files with 4 additions and 2 deletions

View file

@ -112,6 +112,7 @@ ${helpers.predefined_type(
animation_value_type="discrete",
flags="APPLIES_TO_FIRST_LETTER",
boxed=product == "servo",
ignored_when_colors_disabled=True
)}
${helpers.predefined_type(