Convert to JSON for serialization
Map<String, dynamic> toJson() { return { 'top': top, 'right': right, 'bottom': bottom, 'left': left, }; }