mirror of
https://github.com/servo/servo.git
synced 2025-08-07 22:45:34 +01:00
Further changes required by Servo
This commit is contained in:
parent
d299040d55
commit
f351d955ad
1 changed files with 1 additions and 1 deletions
|
@ -88,6 +88,7 @@
|
||||||
has_value = true;
|
has_value = true;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
% if engine == "gecko":
|
||||||
if !is_auto_thickness {
|
if !is_auto_thickness {
|
||||||
if has_value {
|
if has_value {
|
||||||
dest.write_str(" ")?;
|
dest.write_str(" ")?;
|
||||||
|
@ -95,7 +96,6 @@
|
||||||
self.text_decoration_thickness.to_css(dest)?;
|
self.text_decoration_thickness.to_css(dest)?;
|
||||||
}
|
}
|
||||||
|
|
||||||
% if engine == "gecko":
|
|
||||||
if !is_solid_style {
|
if !is_solid_style {
|
||||||
if has_value {
|
if has_value {
|
||||||
dest.write_str(" ")?;
|
dest.write_str(" ")?;
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue