| 
				
			 | 
			
			
				@@ -41,6 +41,7 @@ public class TopBarOptions { 
			 | 
		
	
		
			
			| 
				41
			 | 
			
				41
			 | 
			
			
				         options.borderColor = ColorParser.parse(json, "borderColor"); 
			 | 
		
	
		
			
			| 
				42
			 | 
			
				42
			 | 
			
			
				         options.borderHeight = FractionParser.parse(json, "borderHeight"); 
			 | 
		
	
		
			
			| 
				43
			 | 
			
				43
			 | 
			
			
				         options.elevation = FractionParser.parse(json, "elevation"); 
			 | 
		
	
		
			
			| 
				
			 | 
			
				44
			 | 
			
			
				+        options.topMargin = NumberParser.parse(json, "topMargin"); 
			 | 
		
	
		
			
			| 
				44
			 | 
			
				45
			 | 
			
			
				         options.buttons = TopBarButtons.parse(typefaceLoader, json); 
			 | 
		
	
		
			
			| 
				45
			 | 
			
				46
			 | 
			
			
				  
			 | 
		
	
		
			
			| 
				46
			 | 
			
				47
			 | 
			
			
				         options.rightButtonColor = ColorParser.parse(json, "rightButtonColor"); 
			 | 
		
	
	
		
			
			| 
				
			 | 
			
			
				@@ -61,6 +62,7 @@ public class TopBarOptions { 
			 | 
		
	
		
			
			| 
				61
			 | 
			
				62
			 | 
			
			
				     public Bool drawBehind = new NullBool(); 
			 | 
		
	
		
			
			| 
				62
			 | 
			
				63
			 | 
			
			
				     public Number height = new NullNumber(); 
			 | 
		
	
		
			
			| 
				63
			 | 
			
				64
			 | 
			
			
				     public Fraction elevation = new NullFraction(); 
			 | 
		
	
		
			
			| 
				
			 | 
			
				65
			 | 
			
			
				+    public Number topMargin = new NullNumber(); 
			 | 
		
	
		
			
			| 
				64
			 | 
			
				66
			 | 
			
			
				     public Fraction borderHeight = new NullFraction(); 
			 | 
		
	
		
			
			| 
				65
			 | 
			
				67
			 | 
			
			
				     public Colour borderColor = new NullColor(); 
			 | 
		
	
		
			
			| 
				66
			 | 
			
				68
			 | 
			
			
				  
			 | 
		
	
	
		
			
			| 
				
			 | 
			
			
				@@ -90,6 +92,7 @@ public class TopBarOptions { 
			 | 
		
	
		
			
			| 
				90
			 | 
			
				92
			 | 
			
			
				         if (other.borderHeight.hasValue()) borderHeight = other.borderHeight; 
			 | 
		
	
		
			
			| 
				91
			 | 
			
				93
			 | 
			
			
				         if (other.borderColor.hasValue()) borderColor = other.borderColor; 
			 | 
		
	
		
			
			| 
				92
			 | 
			
				94
			 | 
			
			
				         if (other.elevation.hasValue()) elevation = other.elevation; 
			 | 
		
	
		
			
			| 
				
			 | 
			
				95
			 | 
			
			
				+        if (other.topMargin.hasValue()) topMargin = other.topMargin; 
			 | 
		
	
		
			
			| 
				93
			 | 
			
				96
			 | 
			
			
				  
			 | 
		
	
		
			
			| 
				94
			 | 
			
				97
			 | 
			
			
				         if (other.rightButtonColor.hasValue()) rightButtonColor = other.rightButtonColor; 
			 | 
		
	
		
			
			| 
				95
			 | 
			
				98
			 | 
			
			
				         if (other.leftButtonColor.hasValue()) leftButtonColor = other.leftButtonColor; 
			 | 
		
	
	
		
			
			| 
				
			 | 
			
			
				@@ -113,6 +116,7 @@ public class TopBarOptions { 
			 | 
		
	
		
			
			| 
				113
			 | 
			
				116
			 | 
			
			
				         if (!borderHeight.hasValue()) borderHeight = defaultOptions.borderHeight; 
			 | 
		
	
		
			
			| 
				114
			 | 
			
				117
			 | 
			
			
				         if (!borderColor.hasValue()) borderColor = defaultOptions.borderColor; 
			 | 
		
	
		
			
			| 
				115
			 | 
			
				118
			 | 
			
			
				         if (!elevation.hasValue()) elevation = defaultOptions.elevation; 
			 | 
		
	
		
			
			| 
				
			 | 
			
				119
			 | 
			
			
				+        if (!topMargin.hasValue()) topMargin = defaultOptions.topMargin; 
			 | 
		
	
		
			
			| 
				116
			 | 
			
				120
			 | 
			
			
				  
			 | 
		
	
		
			
			| 
				117
			 | 
			
				121
			 | 
			
			
				         if (!rightButtonColor.hasValue()) rightButtonColor = defaultOptions.rightButtonColor; 
			 | 
		
	
		
			
			| 
				118
			 | 
			
				122
			 | 
			
			
				         if (!leftButtonColor.hasValue()) leftButtonColor = defaultOptions.leftButtonColor; 
			 |